|
| ScriptBase (void) |
| Default constructor. More...
|
|
| ScriptBase (bool share, ScriptBase &e) |
| Constructor used for cloning. More...
|
|
virtual void | print (std::ostream &os) const |
| Print a solution to os. More...
|
|
virtual void | compare (const Space &, std::ostream &os) const |
| Compare with s. More...
|
|
template<class Script , template< class > class Engine, class Options > |
void | run (const Options &o, Script *s) |
|
template<class Script , template< class > class Engine, class Options , template< template< class > class, class > class Meta> |
void | runMeta (const Options &o, Script *s) |
|
template<class BaseSpace>
class Gecode::Driver::ScriptBase< BaseSpace >
Parametric base-class for scripts.
All scripts must inherit from this class
- adds printing and comparison for Gist to scripts
- run allows to execute scripts
Definition at line 622 of file driver.hh.
template<class BaseSpace >
Print a solution to os.
Reimplemented in Kakuro, BinPacking, Pentominoes, ColoredMatrix, GraphColor, SudokuMixed, CarSequencing, CrowdedChess, SudokuSet, SportsLeague, SteelMill, TSP, PerfectSquare, EFPA, OpenShop, BlackHole, BACP, Knights, Radiotherapy, SudokuInt, Domino, Crossword, Nonogram, LangfordNumber, Warehouses, BIBD, Golf, OrthoLatinSquare, QueenArmies, Sat, Crew, Photo, Steiner, DominatingQueens, WordSquare, Alpha, MineSweeper, GoldenSpiral, IndSet, Schur, Hamming, Queens, GolombRuler, MagicSquare, ArchimedeanSpiral, Donald, Partition, DescartesFolium, AllInterval, Eq20, MagicSequence, CartesianHeart, Money, and Grocery.
Definition at line 630 of file driver.hh.
template<class BaseSpace >
template<class Script , template< class > class Engine, class Options >
Run script with search engine Engine and options opt
In the solution and stat modes, search can be aborted by sending SIGINT to the process (i.e., pressing Ctrl-C on the command line).
In case s is different from NULL, the search engine uses s as root of the search tree.