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: