Base class for user-provided configurations. More...

#include <solver_strategies.h>

Inheritance diagram for Clasp::UserConfiguration:

Collaboration diagram for Clasp::UserConfiguration:

Public Member Functions
virtual bool	addPost (Solver &s) const
	Adds post propagators to the given solver. More...

virtual SolverOpts &	addSolver (uint32 i)=0
	Returns the (modifiable) solver options for the i'th solver. More...

virtual SearchOpts &	addSearch (uint32 i)=0
	Returns the (modifiable) search options for the i'th solver. More...

Public Member Functions inherited from Clasp::Configuration
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...

Additional Inherited Members
Public Types inherited from Clasp::Configuration
typedef SolverParams	SolverOpts

typedef SolveParams	SearchOpts

typedef ContextParams	CtxOpts

Detailed Description

Base class for user-provided configurations.

Member Function Documentation

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

virtual

Adds post propagators to the given solver.

The function is called during initialization of s. The default implementation calls Configuration::addPost(s) and adds a lookahead post propagator if necessary.

Reimplemented from Clasp::Configuration.

Here is the call graph for this function:

virtual SearchOpts& Clasp::UserConfiguration::addSearch ( uint32 i )

pure virtual

Returns the (modifiable) search options for the i'th solver.

Implemented in Clasp::BasicSatConfig.

virtual SolverOpts& Clasp::UserConfiguration::addSolver ( uint32 i )

pure virtual

Returns the (modifiable) solver options for the i'th solver.

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

Public Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation