Clasp::BasicSatConfig Class Reference

#include <solver_strategies.h>

Inheritance diagram for Clasp::BasicSatConfig:

Collaboration diagram for Clasp::BasicSatConfig:

Public Member Functions
	BasicSatConfig ()
void	prepare (SharedContext &)
	Prepares this configuration for the usage in the given context. More...
const CtxOpts &	context () const
	Returns the options for the shared context. More...
uint32	numSolver () const
	Returns the number of solver options in this config. More...
uint32	numSearch () const
	Returns the number of search options in this config. More...
const SolverOpts &	solver (uint32 i) const
	Returns the solver options for the i'th solver to be attached to the SharedContext. More...
const SearchOpts &	search (uint32 i) const
	Returns the search options for the i'th solver of the SharedContext. More...
DecisionHeuristic *	heuristic (uint32 i) const
	Returns the heuristic to be used in the i'th solver. More...
SolverOpts &	addSolver (uint32 i)
	Returns the (modifiable) solver options for the i'th solver. More...
SearchOpts &	addSearch (uint32 i)
	Returns the (modifiable) search options for the i'th solver. More...
virtual void	reset ()
virtual void	resize (uint32 numSolver, uint32 numSearch)
Public Member Functions inherited from Clasp::UserConfiguration
virtual bool	addPost (Solver &s) const
	Adds post propagators to the given solver. More...
Public Member Functions inherited from Clasp::Configuration
virtual	~Configuration ()
Public Member Functions inherited from Clasp::ContextParams
	ContextParams ()

Additional Inherited Members
Public Types inherited from Clasp::Configuration
typedef SolverParams	SolverOpts
typedef SolveParams	SearchOpts
typedef ContextParams	CtxOpts
Public Types inherited from Clasp::ContextParams
enum	ShortMode { short_implicit = 0, short_explicit = 1 }
	How to handle short learnt clauses. More...
enum	ShareMode {   share_no = 0, share_problem = 1, share_learnt = 2, share_all = 3,   share_auto = 4 }
	How to handle physical sharing of (explicit) constraints. More...
Public Attributes inherited from Clasp::ContextParams
SatPreParams	satPre
uint8	shareMode: 3
uint8	stats: 2
uint8	shortMode: 1
uint8	seed: 1
uint8	reserved: 1
uint8	cliConfig
uint8	cliId
uint8	cliMode

Constructor & Destructor Documentation

Clasp::BasicSatConfig::BasicSatConfig

(

)

Member Function Documentation

SolveParams & Clasp::BasicSatConfig::addSearch ( uint32  i )

virtual

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

Implements Clasp::UserConfiguration.

SolverParams & Clasp::BasicSatConfig::addSolver ( uint32  i )

virtual

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

Implements Clasp::UserConfiguration.

const CtxOpts& Clasp::BasicSatConfig::context ( ) const

inlinevirtual

Returns the options for the shared context.

Implements Clasp::Configuration.

DecisionHeuristic * Clasp::BasicSatConfig::heuristic ( uint32  i ) const

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.

Implements Clasp::Configuration.

Here is the call graph for this function:

uint32 Clasp::BasicSatConfig::numSearch ( ) const

inlinevirtual

Returns the number of search options in this config.

Implements Clasp::Configuration.

uint32 Clasp::BasicSatConfig::numSolver ( ) const

inlinevirtual

Returns the number of solver options in this config.

Implements Clasp::Configuration.

void Clasp::BasicSatConfig::prepare ( SharedContext &  )

virtual

Prepares this configuration for the usage in the given context.

Implements Clasp::Configuration.

Here is the call graph for this function:

void Clasp::BasicSatConfig::reset ( )

virtual

Reimplemented in Clasp::ClaspConfig.

Here is the call graph for this function:

void Clasp::BasicSatConfig::resize ( uint32  numSolver, uint32  numSearch  )

virtual

const SearchOpts& Clasp::BasicSatConfig::search ( uint32  i ) const

inlinevirtual

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

Implements Clasp::Configuration.

const SolverOpts& Clasp::BasicSatConfig::solver ( uint32  i ) const

inlinevirtual

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

Implements Clasp::Configuration.

---

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