Example: Alpha puzzle More...
Public Types | |
enum | { BRANCH_NONE, BRANCH_INVERSE, BRANCH_SIZE } |
Branching to use for model. More... | |
Public Member Functions | |
Alpha (const Options &opt) | |
Actual model. More... | |
Alpha (bool share, Alpha &s) | |
Constructor for cloning s. More... | |
virtual Space * | copy (bool share) |
Copy during cloning. More... | |
virtual void | print (std::ostream &os) const |
Print solution. More... | |
![]() | |
ScriptBase (void) | |
Default constructor. More... | |
ScriptBase (bool share, ScriptBase &e) | |
Constructor used for cloning. More... | |
virtual void | compare (const Space &, std::ostream &os) const |
Compare with s. More... | |
Protected Attributes | |
IntVarArray | le |
Array for letters. More... | |
Static Protected Attributes | |
static const int | n = 26 |
Alphabet has 26 letters. More... | |
Related Functions | |
(Note that these are not member functions.) | |
int | main (int argc, char *argv[]) |
Main-function. More... | |
Additional Inherited Members | |
![]() | |
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: Alpha puzzle
Well-known cryptoarithmetic puzzle of unknown origin.
|
inline |
|
inlinevirtual |
|
inlinevirtual |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
|
related |
|
staticprotected |
|
protected |