Generated on Fri Mar 20 15:56:50 2015 for Gecode by doxygen 1.6.3

Gecode::Driver::ScriptBase< BaseSpace > Class Template Reference

Parametric base-class for scripts. More...

#include <driver.hh>

List of all members.

Public Member Functions

 ScriptBase (const Options &opt)
 Constructor.
 ScriptBase (bool share, ScriptBase &e)
 Constructor used for cloning.
virtual void print (std::ostream &os) const
 Print a solution to os.
virtual void compare (const Space &home, std::ostream &os) const
 Compare with s.

Static Public Member Functions

static std::ostream & select_ostream (const char *name, std::ofstream &ofs)
 Choose output stream according to name.
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 [inline, 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 
) [inline, 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 
) [inline, 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: