|
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 | ||
| ) |
1.8.11