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 548 of file driver.hh.
template<class BaseSpace >
Print a solution to os.
Reimplemented in Kakuro, BinPacking, Pentominoes, SudokuMixed, GraphColor, CarSequencing, CrowdedChess, BlackHole, SudokuSet, SportsLeague, TSP, PerfectSquare, OpenShop, EFPA, SteelMill, Knights, BACP, Radiotherapy, SudokuInt, Domino, Nonogram, LangfordNumber, Crossword, Warehouses, Golf, QueenArmies, OrthoLatinSquare, Sat, Crew, BIBD, Photo, Steiner, DominatingQueens, WordSquare, Alpha, MineSweeper, IndSet, GolombRuler, Schur, Hamming, MagicSquare, Donald, Queens, Partition, AllInterval, Eq20, MagicSequence, Money, and Grocery.
Definition at line 555 of file driver.hh.
template<class Space >
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).
Definition at line 193 of file script.hpp.