Clasp::Configuration Class Reference

Interface for configuring a SharedContext object and its associated solvers. More...

#include <solver_strategies.h>

Inheritance diagram for Clasp::Configuration:

Collaboration diagram for Clasp::Configuration:

Public Types
typedef SolverParams	SolverOpts
typedef SolveParams	SearchOpts
typedef ContextParams	CtxOpts

Public Member Functions
virtual	~Configuration ()
virtual void	prepare (SharedContext &)=0
	Prepares this configuration for the usage in the given context. More...
virtual const CtxOpts &	context () const =0
	Returns the options for the shared context. More...
virtual uint32	numSolver () const =0
	Returns the number of solver options in this config. More...
virtual uint32	numSearch () const =0
	Returns the number of search options in this config. More...
virtual const SolverOpts &	solver (uint32 i) const =0
	Returns the solver options for the i'th solver to be attached to the SharedContext. More...
virtual const SearchOpts &	search (uint32 i) const =0
	Returns the search options for the i'th solver of the SharedContext. More...
virtual DecisionHeuristic *	heuristic (uint32 i) const =0
	Returns the heuristic to be used in the i'th solver. More...
virtual bool	addPost (Solver &s) const
	Adds post propagators to the given solver. More...

Detailed Description

Interface for configuring a SharedContext object and its associated solvers.

Member Typedef Documentation

typedef ContextParams Clasp::Configuration::CtxOpts

typedef SolveParams Clasp::Configuration::SearchOpts

typedef SolverParams Clasp::Configuration::SolverOpts

Constructor & Destructor Documentation

Clasp::Configuration::~Configuration ( )

virtual

Member Function Documentation

bool Clasp::Configuration::addPost ( Solver &  s ) const

virtual

Adds post propagators to the given solver.

The function is called during initialization of s. The default implementation adds a post propagator for unfounded set checking if necessary.

Reimplemented in Clasp::UserConfiguration.

Here is the call graph for this function:

virtual const CtxOpts& Clasp::Configuration::context ( ) const

pure virtual

Returns the options for the shared context.

Implemented in Clasp::BasicSatConfig.

virtual DecisionHeuristic* Clasp::Configuration::heuristic ( uint32  i ) const

pure virtual

Returns the heuristic to be used in the i'th solver.

The function is called in Solver::startInit().

Note

The returned object is owned by the caller.

Implemented in Clasp::BasicSatConfig.

virtual uint32 Clasp::Configuration::numSearch ( ) const

pure virtual

Returns the number of search options in this config.

Implemented in Clasp::BasicSatConfig.

virtual uint32 Clasp::Configuration::numSolver ( ) const

pure virtual

Returns the number of solver options in this config.

Implemented in Clasp::BasicSatConfig.

virtual void Clasp::Configuration::prepare ( SharedContext &  )

pure virtual

Prepares this configuration for the usage in the given context.

Implemented in Clasp::BasicSatConfig, and Clasp::ClaspConfig.

virtual const SearchOpts& Clasp::Configuration::search ( uint32  i ) const

pure virtual

Returns the search options for the i'th solver of the SharedContext.

Implemented in Clasp::BasicSatConfig.

virtual const SolverOpts& Clasp::Configuration::solver ( uint32  i ) const

pure virtual

Returns the solver options for the i'th solver to be attached to the SharedContext.

Implemented in Clasp::BasicSatConfig.

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/solver_strategies.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/solver_strategies.cpp