Example: Quasigroup completion
More...
|
(Note that these are not member functions.)
|
| int | main (int argc, char *argv[]) |
| | Main-function. More...
|
| |
|
| static std::ostream & | select_ostream (const char *sn, std::ofstream &ofs) |
| | Choose output stream according to sn. More...
|
| |
| 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: