Generated on Sat Oct 24 2015 23:20:09 for Gecode by doxygen 1.8.9.1
Gecode::Driver::ScriptBase< BaseSpace > Class Template Reference

Parametric base-class for scripts. More...

#include <driver.hh>

Public Member Functions

 ScriptBase (const Options &opt)
 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 &home, std::ostream &os) const
 Compare with s. More...
 

Static Public Member Functions

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)
 

Detailed Description

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 633 of file driver.hh.

Constructor & Destructor Documentation

template<class BaseSpace >
Gecode::Driver::ScriptBase< BaseSpace >::ScriptBase ( const Options opt)
inline

Constructor.

Definition at line 211 of file script.hpp.

template<class BaseSpace >
Gecode::Driver::ScriptBase< BaseSpace >::ScriptBase ( bool  share,
ScriptBase< BaseSpace > &  e 
)
inline

Constructor used for cloning.

Definition at line 216 of file script.hpp.

Member Function Documentation

template<class BaseSpace >
void Gecode::Driver::ScriptBase< BaseSpace >::compare ( const Space home,
std::ostream &  os 
) const
virtual

Compare with s.

Definition at line 225 of file script.hpp.

template<class BaseSpace >
std::ostream & Gecode::Driver::ScriptBase< BaseSpace >::select_ostream ( const char *  name,
std::ofstream &  ofs 
)
static

Choose output stream according to name.

Definition at line 229 of file script.hpp.

template<class BaseSpace >
template<class Script , template< class > class Engine, class Options >
void Gecode::Driver::ScriptBase< BaseSpace >::run ( const Options opt,
Script s = NULL 
)
static

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 255 of file script.hpp.


The documentation for this class was generated from the following files: