| Clasp::Activity | Type storing a constraint's activity |
| Clasp::Asp::RuleTransform::AdaptBuilder | |
| Clasp::DefaultUnfoundedCheck::AddReasonLit | |
| Clasp::DefaultUnfoundedCheck::AddSource | |
| bk_lib::detail::align_helper< T > | |
| bk_lib::detail::align_of< T > | |
| ProgramOptions::AmbiguousOption | |
| Clasp::Antecedent | Stores a reference to the constraint that implied a literal |
| ProgramOptions::Application | |
| Clasp::Asp::LogicProgram::AspOptions | Options for the Asp-Preprocessor |
| Clasp::Assignment | Stores assignment related information |
| Clasp::DefaultUnfoundedCheck::AtomData | |
| no_multi_threading::atomic< T > | |
| Clasp::SharedDependencyGraph::AtomNode | An atom node |
| Clasp::ModelEnumerator::BacktrackFinder | |
| bk_lib::bad_string_cast | |
| ProgramOptions::bad_value_cast | |
| Clasp::BasicSatConfig | |
| Clasp::BasicSolve | |
| Clasp::BasicSolveEvent | |
| Clasp::BasicSolveOptions | |
| Clasp::SmallClauseAlloc::Block | |
| Clasp::DefaultUnfoundedCheck::BodyData | |
| Clasp::Asp::Preprocessor::BodyExtra | |
| Clasp::Asp::BodyInfo | |
| Clasp::SharedDependencyGraph::BodyNode | A body node |
| Clasp::DefaultUnfoundedCheck::BodyPtr | |
| detail::bool2type< bool > | |
| ProgramOptions::detail::bool2type< bool > | |
| Clasp::Asp::SccChecker::Call | |
| Clasp::CBConsequences | Enumerator for computing the brave/cautious consequences of a logic program |
| Clasp::CBConsequences::CBFinder | |
| Clasp::CCMinRecursive | |
| Clasp::SmallClauseAlloc::Chunk | |
| Clasp::Cli::ClaspApp | |
| Clasp::Cli::ClaspAppBase | |
| Clasp::Cli::ClaspAppOptions | |
| Clasp::ClaspBerkmin | A variant of the BerkMin decision heuristic from the BerkMin Sat-Solver |
| Clasp::Cli::ClaspCliConfig | |
| Clasp::ClaspConfig | |
| Clasp::ClaspError | |
| Clasp::ClaspFacade | Provides a simplified interface to the services of the clasp library |
| Clasp::ClaspVmtf | Variable Move To Front decision strategies inspired by Siege |
| Clasp::ClaspVsids_t< ScoreType > | A variable state independent decision heuristic favoring variables that were active in recent conflicts |
| Clasp::SatPreprocessor::Clause | A clause class optimized for preprocessing |
| Clasp::Clause | Class for representing a clause in a solver |
| Clasp::ClauseCreator | A helper-class for creating/adding clauses |
| Clasp::Test::ClauseCreatorTest | |
| Clasp::ClauseHead | (Abstract) base class for clause types |
| Clasp::ClauseInfo | |
| Clasp::Test::ClauseObserver | |
| Clasp::ClauseRep | Primitive representation of a clause |
| Clasp::Test::ClauseTest | |
| Clasp::ClauseWatch | |
| CmdLineRunner | |
| Clasp::MinimizeBuilder::CmpByLit | |
| Clasp::MinimizeBuilder::CmpByWeight | |
| Clasp::Solver::CmpScore | |
| Clasp::ClaspVsids_t< ScoreType >::CmpScore | |
| Clasp::DomainHeuristic::CmpSymbol | |
| Clasp::ClaspBerkmin::Order::Compare | |
| Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap | |
| Clasp::compose_1< OP1, OP2 > | An unary operator function that returns Op1(Op2(x)) |
| Clasp::compose_2_1< OP1, OP2, OP3 > | An unary operator function that returns OP1(OP2(x), OP3(x)) |
| Clasp::compose_2_2< OP1, OP2, OP3 > | A binary operator function that returns OP1(OP2(x), OP3(y)) |
| Clasp::Cli::ConfigIter | |
| Clasp::Configuration | Interface for configuring a SharedContext object and its associated solvers |
| Clasp::OPBParser::Constraint | |
| Clasp::Constraint | Base class for (boolean) constraints to be used in a Solver |
| Clasp::Constraint_t | Constraint types distinguished by a Solver |
| ProgramOptions::ContextError | Used for signaling errors in OptionContext |
| Clasp::ContextParams | Parameters for a SharedContext object |
| bk_lib::detail::Copy< Iter > | |
| Clasp::UncoreMinimize::Core | |
| Clasp::CoreStats | A struct for holding core statistics used by a solver |
| Clasp::WeightConstraint::CPair | |
| ProgramOptions::CustomValue | |
| Clasp::ClauseHead::Data | |
| Clasp::Solver::DBInfo | |
| Clasp::DecisionHeuristic | Base class for decision heuristics to be used in a Solver |
| Clasp::Test::DecisionHeuristicTest | |
| Clasp::Solver::DecisionLevels | |
| ProgramOptions::DefaultCreator< T > | |
| Clasp::mt::Detail::DefaultDeleter | |
| ProgramOptions::DefaultFormat | Default formatting for options |
| Clasp::DefaultLparseParser | |
| Clasp::DefaultMinimize | Minimization via branch and bound |
| Clasp::Test::DefaultMinimizeTest | |
| Clasp::DefaultUnfoundedCheck | Clasp's default unfounded set checker |
| Clasp::DeleteObject | An unary operator function that calls delete p |
| Clasp::Test::DependencyGraphTest | |
| Clasp::DestroyObject | An unary operator function that calls p->destroy() |
| Clasp::DimacsParser | |
| Clasp::Test::DimacsParserTest | |
| bk_lib::detail::disable_if< bool > | |
| bk_lib::detail::disable_if< true > | |
| Clasp::Distributor | Base class for distributing learnt knowledge between solvers |
| Clasp::Solver::DLevel | |
| Clasp::Test::DlpBuilderTest | |
| Clasp::DomainHeuristic::DomAction | |
| Clasp::DomainHeuristic | A VSIDS heuristic supporting additional domain knowledge |
| Clasp::DomainHeuristic::DomEntry | |
| Clasp::DomainHeuristic::DomMinimize | |
| Clasp::DomainHeuristic::DomPrio | |
| Clasp::DomScore | Score type for DomainHeuristic |
| ProgramOptions::DuplicateOption | |
| Clasp::EnumerationConstraint | A solver-local (i.e. thread-local) constraint to support enumeration |
| Clasp::Enumerator | Interface for supporting enumeration of models |
| Clasp::Test::EnumeratorTest | |
| Clasp::EnumOptions | Options for configuring enumeration |
| Clasp::GenericWatch::EqConstraint | |
| Clasp::ClauseWatch::EqHead | |
| ProgramOptions::Error | Base class for all exceptions |
| Clasp::Event | Base class for library events |
| Clasp::Event_t< T > | |
| Clasp::EventHandler | |
| Clasp::ExpectedQuantity | |
| Clasp::DefaultUnfoundedCheck::ExtData | |
| Clasp::ExtendedStats | A struct for holding (optional) extra statistics |
| Clasp::DefaultUnfoundedCheck::ExtWatch | |
| Clasp::Test::FacadeTest | |
| ProgramOptions::FileWriter | Writes formatted option descriptions to a FILE |
| bk_lib::detail::Fill< T > | |
| ProgramOptions::FlagAction | |
| Clasp::DomainHeuristic::Frame | |
| Clasp::Cli::ClaspCliConfig::ParseContext::Frame | |
| Clasp::mt::MultiQueue< T, Deleter >::FreeList | |
| Clasp::SolveParams::FwdCheck | |
| bk_lib::detail::generate_type_list< T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18 > | |
| bk_lib::detail::generate_type_list<> | |
| Clasp::GenericWatch | Represents a generic watch in a Solver |
| Clasp::Detail::GreaterLevel | |
| Clasp::Asp::PrgBody::Head | |
| Clasp::HeuParams | |
| Clasp::Heuristic_t | Simple factory for decision heuristics |
| Clasp::ClaspBerkmin::HScore | |
| Clasp::identity< T > | An unary operator function that simply returns its argument |
| bk_lib::detail::if_then_else< false, if_type, else_type > | |
| bk_lib::detail::if_then_else< true, if_type, else_type > | |
| Clasp::Asp::RuleTransform::Impl | |
| Clasp::ImpliedList | A type for storing ImpliedLiteral objects |
| Clasp::ImpliedLiteral | Stores information about a literal that is implied on an earlier level than the current decision level |
| Clasp::Asp::LogicProgram::Incremental | |
| bk_lib::indexed_priority_queue< Cmp > | |
| Clasp::ClauseHead::Info | |
| Clasp::DefaultUnfoundedCheck::InitExtWatches | |
| bk_lib::detail::input_from_string< T, Traits > | |
| bk_lib::detail::input_stream< T, Traits > | |
| Clasp::Input_t | |
| bk_lib::detail::int2type< i > | |
| Clasp::SequentialSolve::InterruptHandler | |
| ProgramOptions::detail::IntrusiveSharedPtr< T > | |
| Clasp::IsNull | |
| bk_lib::detail::IterType< T > | |
| Clasp::Cli::JsonOutput | Prints models and solving statistics in Json-format to stdout |
| Clasp::JumpStats | A struct for holding (optional) jump statistics |
| Clasp::LearntConstraint | Base class for learnt constraints |
| bk_lib::detail::left_right_rep< L, R > | |
| bk_lib::left_right_sequence< L, R, i > | Stores two sequences in one contiguous memory block |
| Clasp::SymbolTable::LessKey | |
| Clasp::ClaspVmtf::LessLevel | |
| Clasp::SatElite::SatElite::LessOccCost | |
| Clasp::SharedMinimizeData::LevelWeight | A type to represent a weight at a certain level |
| Clasp::UncoreMinimize::LitData | |
| Clasp::Literal | A literal is a variable or its negation |
| Clasp::Test::LiteralTest | |
| Clasp::Lookahead::LitNode | |
| Clasp::UncoreMinimize::LitPair | |
| Clasp::ClauseHead::Data::LocalClause | |
| no_multi_threading::lock_guard< M > | |
| Clasp::LogEvent | A log message |
| Clasp::Asp::LogicProgram | A class for defining a logic program |
| Clasp::Test::LogicProgramTest | |
| Clasp::Lookahead | Lookahead extends propagation with failed-literal detection |
| Clasp::LoopFormula | Constraint for Loop-Formulas |
| Clasp::LparseParser | |
| Clasp::Test::LparseParserTest | |
| Clasp::Asp::LpStats | Program statistics for *one* incremental step |
| Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping | |
| bk_lib::detail::max_align< X, nil_type > | |
| bk_lib::detail::max_align< X, type_list< H, T > > | |
| bk_lib::detail::max_align_aux< bool, X, H, Tail > | |
| bk_lib::detail::max_align_aux< true, X, H, T > | |
| bk_lib::detail::Memcpy< T > | |
| Clasp::MessageHandler | |
| Clasp::DefaultUnfoundedCheck::MinimalityCheck | |
| Clasp::MinimizeBuilder | Helper class for creating minimize constraints |
| Clasp::MinimizeConstraint | Base class for implementing (mulit-level) minimize statements |
| Clasp::MinimizeMode_t | Supported minimization modes |
| Clasp::Asp::LogicProgram::MinimizeRule | |
| Clasp::Model | Type for storing a model |
| Clasp::ModelEnumerator | Class for model enumeration with minimization and projection |
| Clasp::ModelEvent | Event type for reporting models via generic event handler |
| Clasp::ModelEnumerator::ModelFinder | |
| ModelPrinter | |
| Clasp::mt::MultiQueue< T, Deleter > | A (base) class for distributing items between n different threads |
| bk_lib::detail::nil_type | |
| bk_lib::detail::no_inline_buffer< L, R > | |
| bk_lib::detail::no_stream_support | |
| Clasp::Asp::PrgEdge::Node | |
| Clasp::SharedDependencyGraph::Node | Base type for nodes |
| Clasp::mt::Detail::Node< T > | |
| Clasp::mt::Detail::NodeBase | |
| Clasp::SharedDependencyGraph::NonHcfComponent | Type for storing a non head-cycle-free component of a disjunctive program |
| Clasp::Asp::NonHcfSet | |
| ProgramOptions::NotifiedValue< T > | |
| ProgramOptions::detail::Notifier< ParamT > | |
| ProgramOptions::detail::Notify< ParamT, ObjT > | |
| no_multi_threading::NullMutex | |
| Clasp::SatElite::SatElite::OccurList | |
| Clasp::OPBParser | |
| Clasp::Test::OPBParserTest | |
| ProgramOptions::Option | Represents one program option |
| ProgramOptions::OptionContext | A (logically grouped) list of unique options |
| ProgramOptions::OptionGroup | A list of options logically grouped under a caption |
| ProgramOptions::OptionInitHelper | |
| ProgramOptions::OptionOutput | Base class for printing options |
| ProgramOptions::OptionOutputImpl< Writer, Formatter > | Implementation class for printing options |
| ProgramOptions::OptionParser | Base class for options parsers |
| detail::OptVTable< T > | |
| ProgramOptions::detail::OptVTable< T > | |
| Clasp::ClaspBerkmin::Order | |
| ProgramOptions::OstreamWriter | Writes formatted option descriptions to an std::ostream |
| Clasp::Cli::Output | |
| Clasp::PairContains< T > | A predicate that checks whether a std::pair contains a certain value |
| Clasp::Lookahead::Params | |
| Clasp::Cli::ClaspCliConfig::ParseContext | |
| ProgramOptions::ParseContext | |
| ProgramOptions::ParsedOptions | Set of options holding a parsed value |
| ProgramOptions::ParsedValues | |
| Clasp::ParseError | Instances of this class are thrown if a problem occurs during parsing input |
| ProgramOptions::detail::Parser< T > | |
| Clasp::PBBuilder | A class for defining a PB-problem |
| Clasp::Test::PBBuilderTest | |
| Clasp::PlatformError | |
| bk_lib::pod_vector< T, Allocator > | A std::vector-replacement for POD-Types |
| Clasp::PodQueue< T > | |
| Clasp::PodVector< Type > | |
| Clasp::Distributor::Policy | |
| Clasp::PostPropagator | Base class for post propagators |
| Clasp::Solver::PPList | |
| Clasp::Asp::Preprocessor | Preprocesses (i.e. simplifies) a logic program |
| Clasp::Asp::PrgAtom | An atom in a logic program |
| Clasp::Asp::PrgBody | A (rule) body in a logic program |
| Clasp::Asp::PrgDisj | The head of a disjunctive rule |
| Clasp::Asp::PrgEdge | Supported edge types |
| Clasp::Asp::PrgHead | A head node of a program-dependency graph |
| Clasp::Asp::PrgNode | |
| Clasp::Problem_t | |
| Clasp::ProblemStats | |
| Clasp::ProcessTime | |
| Clasp::Cli::ClaspCliConfig::ProgOption | |
| Clasp::Asp::RuleTransform::ProgramAdapter | |
| Clasp::ProgramBuilder | Interface for defining an input program |
| Clasp::SatElite::SatElite::Progress | |
| Clasp::ShortImplicationsGraph::Propagate | |
| Clasp::Constraint::PropResult | Type used as return type for Constraint::propagate |
| Clasp::QueueImpl | |
| Clasp::Range< T > | |
| Clasp::Cli::ClaspCliConfig::RawConfig | |
| Clasp::RealTime | |
| Clasp::ReasonStore32 | |
| Clasp::ReasonStore64 | Type for storing reasons for variable assignments together with additional data |
| Clasp::ModelEnumerator::RecordFinder | |
| Clasp::Asp::RedefinitionError | Exception type for signaling an invalid incremental program update |
| Clasp::ReduceParams | Aggregates parameters for the nogood deletion heuristic used during search |
| Clasp::ReduceStrategy | Reduce strategy used during solving |
| ProgramOptions::detail::RefCountable | |
| Clasp::ReleaseObject | An unary operator function that calls p->release() |
| Clasp::DefaultUnfoundedCheck::RemoveSource | |
| Clasp::RestartParams | Aggregates restart-parameters to configure restarts during search |
| Clasp::Restricted | |
| Clasp::ClaspFacade::Result | Result of a solving step |
| Clasp::ClauseCreator::Result | A type for storing the result of a clause insertion operation |
| Clasp::ShortImplicationsGraph::ReverseArc | |
| Clasp::RNG | A very simple but fast Pseudo-random number generator |
| Clasp::Asp::Rule | A rule of a logic program |
| Clasp::Asp::RuleState | Used during rule simplification |
| Clasp::Test::RuleTest | |
| Clasp::Asp::RuleTransform | |
| Clasp::Test::RuleTransformTest | |
| bk_lib::detail::same_type< T, U > | |
| bk_lib::detail::same_type< T, T > | |
| Clasp::SatBuilder | A class for defining a SAT-problem in CNF |
| Clasp::Test::SatBuilderTest | |
| Clasp::SatElite::SatElite | SatElite preprocessor for clauses |
| Clasp::Test::SatEliteTest | |
| Clasp::SatPreParams | Parameters for (optional) Sat-preprocessing |
| Clasp::SatPreprocessor | Base class for preprocessors working on clauses only |
| Clasp::Asp::SccChecker | |
| Clasp::ScheduleStrategy | Implements clasp's configurable schedule-strategies |
| ScopedAlarmLock | |
| Clasp::Cli::ClaspCliConfig::ScopedSet | |
| Clasp::ScoreLook | A small helper class used to score the result of a lookahead operation |
| Clasp::SearchLimits | Parameter-Object for managing search limits |
| Clasp::select1st< P > | An unary operator function that returns the first value of a std::pair |
| Clasp::select2nd< P > | An unary operator function that returns the second value of a std::pair |
| bk_lib::detail::select_base< L, R, i > | |
| Clasp::SelectFirst | Selects the first free literal w.r.t to the initial variable order |
| Clasp::SequentialSolve | |
| Clasp::Constraint_t::Set | |
| Clasp::SharedContext::Share | |
| Clasp::Test::SharedClauseTest | |
| Clasp::CBConsequences::SharedConstraint | |
| Clasp::SharedContext | Aggregates information to be shared between solver objects |
| Clasp::SharedDependencyGraph | (Positive) Body-Atom-Dependency Graph |
| Clasp::SharedLiterals | An array of literals that can be shared between threads |
| Clasp::mt::SharedLitsClause | Stores the local part of a shared clause |
| Clasp::SharedMinimizeData | A type holding data (possibly) shared between a set of minimize constraints |
| Clasp::SharedContext::SharedSymTab | |
| Clasp::ShortImplicationsGraph | A class for efficiently storing and propagating binary and ternary clauses |
| Clasp::SingleOwnerPtr< T, D > | |
| Clasp::Detail::Sink | |
| Clasp::SmallClauseAlloc | Allocator for small (at most 32-byte) clauses |
| Clasp::ModelEnumerator::SolutionQueue | |
| Clasp::SolveAlgorithm | Interface for complex solve algorithms |
| Clasp::SolveEvent< T > | Base class for solving related events |
| Clasp::ClaspFacade::SolveImpl | |
| Clasp::SolveLimits | Type for holding global solve limits |
| Clasp::SolveParams | Parameter-Object for grouping solve-related options |
| Clasp::Solver | Clasp's Solver class |
| Clasp::SolverParams | Parameter-Object for configuring a solver |
| Clasp::SolverStats | A struct for aggregating statistics maintained in a solver object |
| Clasp::SolverStrategies | |
| Clasp::Test::SolverTest | |
| Clasp::ClaspFacade::SolveStrategy | |
| Clasp::SolveTestEvent | |
| Clasp::BasicSolve::State | |
| static_assertion< true > | |
| Clasp::SatPreprocessor::Stats | |
| Clasp::Cli::StatsVisitor | Interface for printing statistics |
| Clasp::DefaultMinimize::Step | |
| Clasp::ClaspFacade::StepReady | Event type used to signal that a solve step has terminated |
| Clasp::ClaspFacade::StepStart | Event type used to signal that a solve step has started |
| ProgramOptions::StoredValue< T > | |
| Clasp::StreamParser | |
| Clasp::StreamSource | |
| Clasp::SymbolTable::String | |
| ProgramOptions::StringWriter | Writes formatted option descriptions to an std::string |
| Clasp::Asp::PrgBody::SumExtra | |
| Clasp::ClaspFacade::Summary | Type summarizing one or more solving steps |
| Clasp::SumQueue | |
| Clasp::SymbolTable::symbol_type | |
| Clasp::SymbolTable | Symbol table that maps external ids to internal literals |
| ProgramOptions::SyntaxError | Used for signaling errors on command-line and in declaring options |
| Clasp::Test::TestingConstraint | |
| Clasp::Test::TestingPostProp | |
| Clasp::Cli::TextOutput | Default clasp format printer |
| no_multi_threading::thread | |
| Clasp::ThreadTime | |
| Clasp::Timer< TimeType > | |
| Clasp::Asp::RuleTransform::Impl::TodoItem | |
| type | |
| bk_lib::detail::type_list< head, tail > | |
| Clasp::UncoreMinimize | Minimization via unsat cores |
| Clasp::Test::UncoreMinimizeTest | |
| Clasp::DefaultMinimize::UndoInfo | |
| Clasp::WeightConstraint::UndoInfo | |
| Clasp::Test::UnfoundedCheckTest | |
| Clasp::UnitHeuristic | Heuristic that uses the results of lookahead |
| ProgramOptions::UnknownOption | |
| Clasp::UserConfiguration | Base class for user-provided configurations |
| ProgramOptions::Value | Manages the value of an option and defines how it is parsed from a string |
| Clasp::ReasonStore64::value_type | |
| Clasp::ReasonStore32::value_type | |
| ProgramOptions::Value::ValueDesc | |
| ProgramOptions::ValueError | Used for signaling validation errors when trying to assign option values |
| ProgramOptions::ValueMap | |
| ProgramOptions::ValueMapping< T > | |
| ProgramOptions::ValueMappingBase | |
| Clasp::ValueSet | A set of configurable values for a variable |
| ProgramOptions::ValueStore | A type that can hold any kind of value type |
| Clasp::Var_t | Possible types of a variable |
| Clasp::VarInfo | Stores static information about a variable |
| Clasp::ClaspVmtf::VarInfo | |
| Clasp::VarScore | Type used to store lookahead-information for one variable |
| Clasp::VsidsScore | Score type for VSIDS heuristic |
| detail::VTable< T > | |
| ProgramOptions::detail::VTable< T > | |
| Clasp::UncoreMinimize::WCTemp | |
| Clasp::MinimizeBuilder::Weight | |
| Clasp::WeightConstraint | Class implementing smodels-like cardinality- and weight constraints |
| Clasp::Test::WeightConstraintTest | |
| Clasp::WeightLitsRep | Primitive representation of weight constraint literals in normal form |
| bk_lib::detail::with_inline_buffer< L, R, cap > | |
| Clasp::WeightConstraint::WL | |
| Clasp::Test::UnfoundedCheckTest::WrapDefaultUnfoundedCheck | |
| Clasp::Cli::WriteCnf | |
| Clasp::Cli::WriteLemmas | |
| bk_lib::detail::with_inline_buffer< L, R, cap >::X | |