Example: Quasigroup completion
More...
List of all members.
Public Types |
enum | { PROP_BINARY,
PROP_DISTINCT
} |
| Propagation to use for model.
More...
|
enum | { BRANCH_SIZE,
BRANCH_AFC_SIZE
} |
| Branching to use for model.
More...
|
Public Member Functions |
| QCP (const QCPOptions &opt) |
| Actual model.
|
double | _tbl_min (double w, double b) const |
| Tie-breaking minimum limit function.
|
double | _tbl_max (double w, double b) const |
| Tie-breaking maximum limit function.
|
| QCP (bool share, QCP &s) |
| Constructor for cloning s.
|
virtual Space * | copy (bool share) |
| Copy during cloning.
|
virtual void | print (std::ostream &os) const |
| Print solution.
|
Static Public Member Functions |
static double | tbl_min (const Space &home, double w, double b) |
| Tie-breaking minimum limit function.
|
static double | tbl_max (const Space &home, double w, double b) |
| Tie-breaking maximum limit function.
|
Protected Attributes |
const Spec | spec |
| Specification.
|
IntVarArray | e |
| Field elements e.
|
double | tbf |
| Tie-breaking factor.
|
Detailed Description
Example: Quasigroup completion
Definition at line 128 of file qcp.cpp.
Member Enumeration Documentation
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.
Constructor & Destructor Documentation
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.
Member Function Documentation
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 | |
|
) |
| | [inline, static] |
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 | |
|
) |
| | [inline, static] |
Tie-breaking maximum limit function.
Definition at line 225 of file qcp.cpp.
virtual Space* QCP::copy |
( |
bool |
share |
) |
[inline, virtual] |
Copy during cloning.
Definition at line 235 of file qcp.cpp.
virtual void QCP::print |
( |
std::ostream & |
os |
) |
const [inline, virtual] |
Member Data Documentation
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: