36 const int random_seed;
Support graph data for an LP solution.
Definition: datagroups.hpp:174
bool find_cuts()
Separator invocation, returns true iff cuts found.
Definition: simpleDP.cpp:45
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.
Definition: simpleDP.cpp:31
Separating primal simple domino parity inequalities.
Definition: simpleDP.hpp:20
Class template for queue of cuts in some form.
Definition: process_cuts.hpp:30
Karp partitions of TSP instances.
Information about the active tour in a CoreLP.
Definition: active_tour.hpp:30
Structures for storing and processing cuts.
The namespace for this project.
Definition: abc_nodesel.hpp:20
Class for computing and storing Karp partitions.
Definition: karp.hpp:30
Monitoring the active tour in the solution process.