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, MultiBinPacking, Radiotherapy, SudokuInt, Domino, Crossword, Nonogram, LangfordNumber, Warehouses, Golf, BIBD, 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 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).
In case s is different from NULL, the search engine uses s as root of the search tree.
Definition at line 236 of file script.hpp.