Clasp::ClaspConfig Member List

This is the complete list of members for Clasp::ClaspConfig, including all inherited members.

addPost(Solver &s) const	Clasp::UserConfiguration	[virtual]
addSearch(uint32 i)	Clasp::BasicSatConfig	[virtual]
addSolver(uint32 i)	Clasp::BasicSatConfig	[virtual]
addTesterConfig()	Clasp::ClaspConfig
asp	Clasp::ClaspConfig
AspOptions typedef	Clasp::ClaspConfig
BasicSatConfig()	Clasp::BasicSatConfig
ClaspConfig()	Clasp::ClaspConfig
ClaspConfig(const ClaspConfig &)	Clasp::ClaspConfig	[private]
cliConfig	Clasp::ContextParams
cliId	Clasp::ContextParams
cliMode	Clasp::ContextParams
context() const	Clasp::BasicSatConfig	[inline, virtual]
ContextParams()	Clasp::ContextParams	[inline]
CtxOpts typedef	Clasp::Configuration
enumerate	Clasp::ClaspConfig
heuristic(uint32 i) const	Clasp::BasicSatConfig	[virtual]
numSearch() const	Clasp::BasicSatConfig	[inline, virtual]
numSolver() const	Clasp::BasicSatConfig	[inline, virtual]
operator=(const ClaspConfig &)	Clasp::ClaspConfig	[private]
prepare(SharedContext &)	Clasp::ClaspConfig	[virtual]
reserved	Clasp::ContextParams
reset()	Clasp::ClaspConfig	[virtual]
resize(uint32 numSolver, uint32 numSearch)	Clasp::BasicSatConfig	[virtual]
satPre	Clasp::ContextParams
search(uint32 i) const	Clasp::BasicSatConfig	[inline, virtual]
SearchOpts typedef	Clasp::Configuration
seed	Clasp::ContextParams
setSolvers(uint32 n)	Clasp::ClaspConfig
share_all enum value	Clasp::ContextParams
share_auto enum value	Clasp::ContextParams
share_learnt enum value	Clasp::ContextParams
share_no enum value	Clasp::ContextParams
share_problem enum value	Clasp::ContextParams
ShareMode enum name	Clasp::ContextParams
shareMode	Clasp::ContextParams
short_explicit enum value	Clasp::ContextParams
short_implicit enum value	Clasp::ContextParams
ShortMode enum name	Clasp::ContextParams
shortMode	Clasp::ContextParams
solve	Clasp::ClaspConfig
solver(uint32 i) const	Clasp::BasicSatConfig	[inline, virtual]
SolverIt typedef	Clasp::ClaspConfig
SolverOpts typedef	Clasp::Configuration
stats	Clasp::ContextParams
tester_	Clasp::ClaspConfig	[private]
testerConfig() const	Clasp::ClaspConfig	[inline]
UserConfig typedef	Clasp::ClaspConfig
~ClaspConfig()	Clasp::ClaspConfig
~Configuration()	Clasp::Configuration	[virtual]