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 (LangfordNumber &l) | |
Constructor for cloning l. | |
virtual Space * | copy (void) |
Copy during cloning. | |
![]() | |
ScriptBase (const Options &opt) | |
Constructor. | |
ScriptBase (ScriptBase &e) | |
Constructor used for cloning. | |
virtual void | compare (const Space &home, std::ostream &os) const |
Compare with s. | |
Protected Attributes | |
int | k |
int | n |
Problem parameters. | |
IntVarArray | y |
Sequence variables. | |
Related Symbols | |
(Note that these are not member symbols.) | |
int | main (int argc, char *argv[]) |
Main-function. | |
Additional Inherited Members | |
![]() | |
static std::ostream & | select_ostream (const char *sn, std::ofstream &ofs) |
Choose output stream according to sn. | |
template<class Script , template< class > class Engine, class Options > | |
static void | run (const Options &opt, Script *s=NULL) |
Example: Langford's number problem
See problem 24 at http://www.csplib.org/.
Definition at line 80 of file langford-number.cpp.
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 87 of file langford-number.cpp.
|
inline |
Construct model.
Definition at line 93 of file langford-number.cpp.
|
inline |
Constructor for cloning l.
Definition at line 173 of file langford-number.cpp.
|
inlinevirtual |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
Definition at line 168 of file langford-number.cpp.
|
inlinevirtual |
Copy during cloning.
Definition at line 180 of file langford-number.cpp.
|
related |
Main-function.
Definition at line 190 of file langford-number.cpp.
|
protected |
Definition at line 82 of file langford-number.cpp.
|
protected |
Problem parameters.
Definition at line 82 of file langford-number.cpp.
|
protected |
Sequence variables.
Definition at line 83 of file langford-number.cpp.