
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. More... | |
| virtual void | print (std::ostream &os) const |
| Print solution. More... | |
| LangfordNumber (bool share, LangfordNumber &l) | |
| Constructor for cloning l. More... | |
| virtual Space * | copy (bool share) |
| Copy during cloning. More... | |
Public Member Functions inherited from Gecode::Driver::ScriptBase< BaseSpace > | |
| ScriptBase (const Options &opt) | |
| Constructor. More... | |
| ScriptBase (bool share, ScriptBase &e) | |
| Constructor used for cloning. More... | |
| virtual void | compare (const Space &home, std::ostream &os) const |
| Compare with s. More... | |
Protected Attributes | |
| int | k |
| int | n |
| Problem parameters. More... | |
| IntVarArray | y |
| Sequence variables. More... | |
Related Functions | |
(Note that these are not member functions.) | |
| int | main (int argc, char *argv[]) |
| Main-function. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Driver::ScriptBase< BaseSpace > | |
| 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) |
Example: Langford's number problem
See problem 24 at http://www.csplib.org/.
Definition at line 84 of file langford-number.cpp.
|
inline |
Construct model.
Definition at line 97 of file langford-number.cpp.
|
inline |
Constructor for cloning l.
Definition at line 177 of file langford-number.cpp.
|
inlinevirtual |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
Definition at line 172 of file langford-number.cpp.
|
inlinevirtual |
Copy during cloning.
Definition at line 184 of file langford-number.cpp.
|
related |
Main-function.
Definition at line 194 of file langford-number.cpp.
|
protected |
Definition at line 86 of file langford-number.cpp.
|
protected |
Problem parameters.
Definition at line 86 of file langford-number.cpp.
|
protected |
Sequence variables.
Definition at line 87 of file langford-number.cpp.