LangfordNumber Class Reference
[Example scripts (models)]
Example: Langford's number problem More...
Public Types | |
| enum | { PROP_REIFIED, PROP_EXTENSIONAL, PROP_EXTENSIONAL_CHANNEL } |
Propagation to use for model. More... | |
Public Member Functions | |
| LangfordNumber (const LangfordNumberOptions &opt) | |
| Construct model. | |
| virtual void | print (std::ostream &os) const |
| Print solution. | |
| LangfordNumber (bool share, LangfordNumber &l) | |
| Constructor for cloning l. | |
| virtual Space * | copy (bool share) |
| Copy during cloning. | |
Protected Attributes | |
| int | k |
| int | n |
| Problem parameters. | |
| IntVarArray | y |
| Sequence variables. | |
Detailed Description
Example: Langford's number problem
See problem 24 at http://www.csplib.org/.
Definition at line 84 of file langford-number.cpp.
Member Enumeration Documentation
| anonymous enum |
Propagation to use for model.
- Enumerator:
PROP_REIFIED Use reified constraints.
PROP_EXTENSIONAL Use extensional constraints.
PROP_EXTENSIONAL_CHANNEL Use extensional and channel constraints.
Definition at line 91 of file langford-number.cpp.
Constructor & Destructor Documentation
| LangfordNumber::LangfordNumber | ( | const LangfordNumberOptions & | opt | ) | [inline] |
Construct model.
Definition at line 97 of file langford-number.cpp.
| LangfordNumber::LangfordNumber | ( | bool | share, | |
| LangfordNumber & | l | |||
| ) | [inline] |
Constructor for cloning l.
Definition at line 177 of file langford-number.cpp.
Member Function Documentation
| virtual void LangfordNumber::print | ( | std::ostream & | os | ) | const [inline, virtual] |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
Definition at line 172 of file langford-number.cpp.
| virtual Space* LangfordNumber::copy | ( | bool | share | ) | [inline, virtual] |
Copy during cloning.
Definition at line 184 of file langford-number.cpp.
Member Data Documentation
int LangfordNumber::k [protected] |
Definition at line 86 of file langford-number.cpp.
int LangfordNumber::n [protected] |
Problem parameters.
Definition at line 86 of file langford-number.cpp.
IntVarArray LangfordNumber::y [protected] |
Sequence variables.
Definition at line 87 of file langford-number.cpp.
The documentation for this class was generated from the following file: