Example: Quasigroup completion More...
Public Types | |
enum | { PROP_BINARY , PROP_DISTINCT } |
Propagation to use for model. More... | |
enum | { BRANCH_SIZE , BRANCH_AFC_SIZE , BRANCH_CBS_MAX_SD } |
Branching to use for model. More... | |
Public Member Functions | |
QCP (const QCPOptions &opt0) | |
Actual model. | |
virtual bool | slave (const MetaInfo &mi) |
Slave function for portfolio search. | |
QCP (QCP &s) | |
Constructor for cloning s. | |
virtual Space * | copy (void) |
Copy during cloning. | |
virtual void | print (std::ostream &os) const |
Print solution. | |
![]() | |
ScriptBase (const Options &opt) | |
Constructor. | |
ScriptBase (ScriptBase &e) | |
Constructor used for cloning. | |
virtual void | compare (const Space &home, std::ostream &os) const |
Compare with s. | |
Protected Attributes | |
const QCPOptions & | opt |
Options. | |
const Spec | spec |
Specification. | |
IntVarArray | e |
Field elements e. | |
double | tbf |
Tie-breaking factor. | |
Related Symbols | |
(Note that these are not member symbols.) | |
int | main (int argc, char *argv[]) |
Main-function. | |
Additional Inherited Members | |
![]() | |
static std::ostream & | select_ostream (const char *sn, std::ofstream &ofs) |
Choose output stream according to sn. | |
template<class Script , template< class > class Engine, class Options > | |
static void | run (const Options &opt, Script *s=NULL) |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
|
protected |