Generated on Tue Mar 5 2013 22:37:41 for Gecode by doxygen 1.8.3.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...
 
template<class Script , template< class > class Engine, class Options >
void run (const Options &o)
 

Static Public Member Functions

template<class Script , template< class > class Engine, class Options >
static void run (const Options &opt)
 

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

Constructor & Destructor Documentation

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

Default constructor.

Definition at line 551 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 553 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 557 of file driver.hh.

template<class BaseSpace >
template<class Script , template< class > class Engine, class Options >
static void Gecode::Driver::ScriptBase< BaseSpace >::run ( const Options opt)
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).

template<class BaseSpace >
template<class Script , template< class > class Engine, class Options >
void Gecode::Driver::ScriptBase< BaseSpace >::run ( const Options o)

Definition at line 193 of file script.hpp.


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