clingo
Main Page
Modules
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Groups
Clasp
BasicSatConfig
Clasp::BasicSatConfig Member List
This is the complete list of members for
Clasp::BasicSatConfig
, including all inherited members.
addPost
(Solver &s) const
Clasp::UserConfiguration
virtual
addSearch
(uint32 i)
Clasp::BasicSatConfig
virtual
addSolver
(uint32 i)
Clasp::BasicSatConfig
virtual
BasicSatConfig
()
Clasp::BasicSatConfig
cliConfig
Clasp::ContextParams
cliId
Clasp::ContextParams
cliMode
Clasp::ContextParams
context
() const
Clasp::BasicSatConfig
inline
virtual
ContextParams
()
Clasp::ContextParams
inline
CtxOpts
typedef
Clasp::Configuration
heuristic
(uint32 i) const
Clasp::BasicSatConfig
virtual
numSearch
() const
Clasp::BasicSatConfig
inline
virtual
numSolver
() const
Clasp::BasicSatConfig
inline
virtual
prepare
(SharedContext &)
Clasp::BasicSatConfig
virtual
reserved
Clasp::ContextParams
reset
()
Clasp::BasicSatConfig
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
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
Clasp::ContextParams
ShortMode
enum name
Clasp::ContextParams
solver
(uint32 i) const
Clasp::BasicSatConfig
inline
virtual
SolverOpts
typedef
Clasp::Configuration
stats
Clasp::ContextParams
~Configuration
()
Clasp::Configuration
virtual
Generated on Wed May 14 2014 16:10:40 for clingo by
1.8.7