Generated on Sat Feb 7 2015 02:01:42 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 (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...
 

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

Constructor & Destructor Documentation

template<class BaseSpace >
Gecode::Driver::ScriptBase< BaseSpace >::ScriptBase ( void  )
inline

Default constructor.

Definition at line 625 of file driver.hh.

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

Constructor used for cloning.

Definition at line 627 of file driver.hh.

Member Function Documentation

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

Compare with s.

Definition at line 632 of file driver.hh.

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

Choose output stream according to name.

Definition at line 211 of file script.hpp.

template<class Space >
template<class Script , template< class > class Engine, class Options >
void Gecode::Driver::ScriptBase< Space >::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 236 of file script.hpp.


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