Example: Quasigroup completion
More...
|
(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.
|
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: