Camargue
|
Separating primal simple domino parity inequalities. More...
#include <simpleDP.hpp>
Public Member Functions | |
SimpleDP (Data::KarpPartition &_kpart, const LP::ActiveTour &active_tour, Data::SupportGroup &supp_dat, Sep::CutQueue< dominoparity > &_dp_q, int seed) | |
Construct a separator to separate over partitioned DPwitness graphs. More... | |
bool | find_cuts () |
Separator invocation, returns true iff cuts found. | |
Public Attributes | |
int | verbose = 0 |
Private Attributes | |
CandidateTeeth | candidates |
Data::KarpPartition & | kpart |
CutQueue< dominoparity > & | dp_q |
const int | random_seed |
Separating primal simple domino parity inequalities.
CMR::Sep::SimpleDP::SimpleDP | ( | Data::KarpPartition & | _kpart, |
const LP::ActiveTour & | active_tour, | ||
Data::SupportGroup & | supp_dat, | ||
Sep::CutQueue< dominoparity > & | _dp_q, | ||
int | seed | ||
) |