BrVarCand.cpp File Reference

Define the classes BrVarCand for storing candidates for branching on variables. More...

#include <iostream>
#include "MinotaurConfig.h"
#include "BrVarCand.h"
#include "Variable.h"

Include dependency graph for BrVarCand.cpp:

Detailed Description

Define the classes BrVarCand for storing candidates for branching on variables.

Author

Ashutosh Mahajan, IIT Bombay