Example: Quasigroup completion
More...
|
| 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.
|
|
|
const QCPOptions & | opt |
| Options.
|
|
const Spec | spec |
| Specification.
|
|
IntVarArray | e |
| Field elements e.
|
|
double | tbf |
| Tie-breaking factor.
|
|
|
(Note that these are not member symbols.)
|
int | main (int argc, char *argv[]) |
| Main-function.
|
|
|
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) |
|
Example: Quasigroup completion
Definition at line 142 of file qcp.cpp.
◆ anonymous enum
Propagation to use for model.
Enumerator |
---|
PROP_BINARY | Use only binary disequality constraints.
|
PROP_DISTINCT | Use distinct constraints.
|
Definition at line 154 of file qcp.cpp.
◆ anonymous enum
Branching to use for model.
Enumerator |
---|
BRANCH_SIZE | Use smallest domain size first.
|
BRANCH_AFC_SIZE | Use largest AFC divided by domain size.
|
BRANCH_CBS_MAX_SD | Use maximum solution density.
|
Definition at line 159 of file qcp.cpp.
◆ QCP() [1/2]
QCP::QCP |
( |
const QCPOptions & | opt0 | ) |
|
|
inline |
Actual model.
Definition at line 165 of file qcp.cpp.
◆ QCP() [2/2]
Constructor for cloning s.
Definition at line 250 of file qcp.cpp.
◆ slave()
virtual bool QCP::slave |
( |
const MetaInfo & | mi | ) |
|
|
inlinevirtual |
Slave function for portfolio search.
Definition at line 215 of file qcp.cpp.
◆ copy()
virtual Space * QCP::copy |
( |
void | | ) |
|
|
inlinevirtual |
Copy during cloning.
Definition at line 256 of file qcp.cpp.
◆ print()
virtual void QCP::print |
( |
std::ostream & | os | ) |
const |
|
inlinevirtual |
◆ main()
int main |
( |
int | argc, |
|
|
char * | argv[] ) |
|
related |
Main-function.
Definition at line 281 of file qcp.cpp.
◆ opt
const QCPOptions& QCP::opt |
|
protected |
◆ spec
Specification.
Definition at line 147 of file qcp.cpp.
Field elements e.
Definition at line 149 of file qcp.cpp.
◆ tbf
Tie-breaking factor.
Definition at line 151 of file qcp.cpp.
The documentation for this class was generated from the following file: