
Example: DONALD+GERALD=ROBERT puzzle More...
Public Types | |
| enum | { MODEL_SINGLE, MODEL_CARRY } |
| Model variants. More... | |
Public Member Functions | |
| Donald (const Options &opt) | |
| Actual model. | |
| Donald (bool share, Donald &s) | |
| Constructor for cloning s. | |
| virtual Space * | copy (bool share) |
| Copy during cloning. | |
| virtual void | print (std::ostream &os) const |
| Print solution. | |
Related Functions | |
(Note that these are not member functions.) | |
| int | main (int argc, char *argv[]) |
| Main-function. | |
Example: DONALD+GERALD=ROBERT puzzle
Well-known cryptoarithmetic puzzle of unknown origin.
Definition at line 52 of file donald.cpp.
| anonymous enum |
Model variants.
Definition at line 60 of file donald.cpp.
| Donald::Donald | ( | const Options & | opt | ) | [inline] |
Actual model.
Definition at line 65 of file donald.cpp.
| Donald::Donald | ( | bool | share, |
| Donald & | s | ||
| ) | [inline] |
Constructor for cloning s.
Definition at line 101 of file donald.cpp.
| virtual Space* Donald::copy | ( | bool | share | ) | [inline, virtual] |
Copy during cloning.
Definition at line 106 of file donald.cpp.
| virtual void Donald::print | ( | std::ostream & | os | ) | const [inline, virtual] |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
Definition at line 111 of file donald.cpp.
| int main | ( | int | argc, |
| char * | argv[] | ||
| ) | [related] |
Main-function.
Definition at line 122 of file donald.cpp.