clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Clasp::UserConfiguration Member List

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

addPost(Solver &s) const Clasp::UserConfigurationvirtual
addSearch(uint32 i)=0Clasp::UserConfigurationpure virtual
addSolver(uint32 i)=0Clasp::UserConfigurationpure virtual
context() const =0Clasp::Configurationpure virtual
CtxOpts typedefClasp::Configuration
heuristic(uint32 i) const =0Clasp::Configurationpure virtual
numSearch() const =0Clasp::Configurationpure virtual
numSolver() const =0Clasp::Configurationpure virtual
prepare(SharedContext &)=0Clasp::Configurationpure virtual
search(uint32 i) const =0Clasp::Configurationpure virtual
SearchOpts typedefClasp::Configuration
solver(uint32 i) const =0Clasp::Configurationpure virtual
SolverOpts typedefClasp::Configuration
~Configuration()Clasp::Configurationvirtual
Generated on Wed May 14 2014 16:10:48 for clingo by   doxygen 1.8.7