Example: Quasigroup completion
More...
|
static double | tbl_min (const Space &home, double w, double b) |
| Tie-breaking minimum limit function. More...
|
|
static double | tbl_max (const Space &home, double w, double b) |
| Tie-breaking maximum limit function. More...
|
|
static std::ostream & | select_ostream (const char *name, std::ofstream &ofs) |
| Choose output stream according to name. More...
|
|
template<class Script , template< class > class Engine, class Options > |
static void | run (const Options &opt, Script *s=NULL) |
|
|
(Note that these are not member functions.)
|
int | main (int argc, char *argv[]) |
| Main-function. More...
|
|
Example: Quasigroup completion
Definition at line 128 of file qcp.cpp.
Propagation to use for model.
Enumerator |
---|
PROP_BINARY |
Use only binary disequality constraints.
|
PROP_DISTINCT |
Use distinct constraints.
|
Definition at line 138 of file qcp.cpp.
Branching to use for model.
Enumerator |
---|
BRANCH_SIZE |
Use smallest domain size first.
|
BRANCH_AFC_SIZE |
Use largest AFC divided by domain size.
|
Definition at line 143 of file qcp.cpp.
QCP::QCP |
( |
const QCPOptions & |
opt | ) |
|
|
inline |
Actual model.
Definition at line 148 of file qcp.cpp.
QCP::QCP |
( |
bool |
share, |
|
|
QCP & |
s |
|
) |
| |
|
inline |
Constructor for cloning s.
Definition at line 229 of file qcp.cpp.
double QCP::_tbl_min |
( |
double |
w, |
|
|
double |
b |
|
) |
| const |
|
inline |
Tie-breaking minimum limit function.
Definition at line 211 of file qcp.cpp.
static double QCP::tbl_min |
( |
const Space & |
home, |
|
|
double |
w, |
|
|
double |
b |
|
) |
| |
|
inlinestatic |
Tie-breaking minimum limit function.
Definition at line 216 of file qcp.cpp.
double QCP::_tbl_max |
( |
double |
w, |
|
|
double |
b |
|
) |
| const |
|
inline |
Tie-breaking maximum limit function.
Definition at line 220 of file qcp.cpp.
static double QCP::tbl_max |
( |
const Space & |
home, |
|
|
double |
w, |
|
|
double |
b |
|
) |
| |
|
inlinestatic |
Tie-breaking maximum limit function.
Definition at line 225 of file qcp.cpp.
virtual Space* QCP::copy |
( |
bool |
share | ) |
|
|
inlinevirtual |
Copy during cloning.
Definition at line 235 of file qcp.cpp.
virtual void QCP::print |
( |
std::ostream & |
os | ) |
const |
|
inlinevirtual |
int main |
( |
int |
argc, |
|
|
char * |
argv[] |
|
) |
| |
|
related |
Main-function.
Definition at line 260 of file qcp.cpp.
Specification.
Definition at line 131 of file qcp.cpp.
Field elements e.
Definition at line 133 of file qcp.cpp.
Tie-breaking factor.
Definition at line 135 of file qcp.cpp.
The documentation for this class was generated from the following file: