Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

• bm::_copyright< T >
• AbovePluginAtom
• impl::AddressTag
• bm::all_set< T >
• bm::all_set< T >::all_set_block
• CAUAlgorithms::AncestryMarkingVisitor< Graph >
• AnnotatedGroundProgram
• PluginAtom::Answer
• AnswerSetQueueElement
• ASPSolverManager
• Atom
  • AggregateAtom
  • BuiltinAtom
  • ExternalAtom
  • ModuleAtom
  • OrdinaryAtom
• AtomMatches
• DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
• DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue
• AuxPrinter
  • PlainAuxPrinter
• BaseTopology
  • DiamondTopology
  • LineTopology
  • RandomTopology
  • RingTopology
  • StarTopology
  • TreeTopology
• benchmark::simple::BenchmarkController
• bm::bit_AND< W >
• bm::bit_ASSIGN< W >
• bm::bit_block_guard< BlocksManager >
• bm::bit_COUNT< W >
• bm::bit_COUNT_A< W >
• bm::bit_COUNT_AND< W >
• bm::bit_COUNT_B< W >
• bm::bit_COUNT_OR< W >
• bm::bit_COUNT_SUB_AB< W >
• bm::bit_COUNT_SUB_BA< W >
• bm::bit_count_table< T >
• bm::bit_COUNT_XOR< W >
• bm::bit_grabber< T, BPC >
• bm::bit_grabber< unsigned char, 8 >
• bm::bit_grabber< unsigned short, 16 >
• bm::bit_grabber< unsigned, 32 >
• bm::bit_in< TDecoder >
• bm::bit_OR< W >
• bm::bit_out< TEncoder >
• bm::bit_SUB< W >
• bm::bit_trans_grabber< T, BPC, BPS >
• bm::bit_XOR< W >
• bm::bvector< Alloc >::iterator_base::bitblock_descr
• bm::bitblock_get_adapter
• bm::bitblock_store_adapter
• bm::bitblock_sum_adapter
• bm::block_allocator
• bm::bvector< Alloc >::iterator_base::block_descr
• bm::block_set_table< T >
• bm::blocks_manager< Alloc >
• bm::blocks_manager< Alloc >::bm_func_base
  • bm::blocks_manager< Alloc >::block_copy_func
  • bm::blocks_manager< Alloc >::block_copy_func
  • bm::blocks_manager< Alloc >::block_free_func
  • bm::blocks_manager< Alloc >::block_free_func
  • bm::blocks_manager< Alloc >::block_invert_func
  • bm::blocks_manager< Alloc >::block_invert_func
  • bm::blocks_manager< Alloc >::block_one_func
  • bm::blocks_manager< Alloc >::block_one_func
  • bm::blocks_manager< Alloc >::block_opt_func
  • bm::blocks_manager< Alloc >::block_opt_func
  • bm::blocks_manager< Alloc >::block_zero_func
  • bm::blocks_manager< Alloc >::block_zero_func
  • bm::blocks_manager< Alloc >::gap_level_func
  • bm::blocks_manager< Alloc >::gap_level_func
• bm::blocks_manager< Alloc >::bm_func_base_const
  • bm::blocks_manager< Alloc >::block_any_func
  • bm::blocks_manager< Alloc >::block_any_func
  • bm::blocks_manager< Alloc >::block_count_base
    • bm::blocks_manager< Alloc >::block_count_arr_func
    • bm::blocks_manager< Alloc >::block_count_arr_func
    • bm::blocks_manager< Alloc >::block_count_func
    • bm::blocks_manager< Alloc >::block_count_func
  • bm::blocks_manager< Alloc >::block_count_base
  • bm::blocks_manager< Alloc >::block_count_change_func
  • bm::blocks_manager< Alloc >::block_count_change_func
• bm::globals< T >::bo
• evalheur::BuildCommand
• bm::bv_statistics
  • bm::bvector< Alloc >::statistics
  • bm::bvector< Alloc >::statistics
• bm::bvector< Alloc >
• bm::bvector_mini< A >
• bm::bvmini< N >
• Logger::Closure
• ComfortPluginAtom::ComfortQuery
• ComponentGraph
• dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• Config
• Configuration
• const_set_iterator< T >
• bm::copy_to_array_functor< B >
• bm::copy_to_array_functor_inc< B >
• CounterVerification< EvalGraphT >
• benchmark::nestingAware::NestingAwareController::Current
• bm::d_copy_func< T >
• bm::DeBruijn_bit_position< T >
• bm::decoder_base
  • bm::decoder
  • bm::decoder
  • bm::decoder_little_endian
  • bm::decoder_little_endian
• bm::decoder_range_adapter< DEC >
• ASPSolverManager::DelegateInterface
  • ASPSolver::DLVSoftware::Delegate
• DependencyGraph
• bm::deseriaizer_base< DEC >
  • bm::deserializer< BV, DEC >
  • bm::deserializer< BV, DEC >
  • bm::serial_stream_iterator< DEC >
  • bm::serial_stream_iterator< DEC >
• internal::DFSVisitor
• internalgreedy::DFSVisitor
• bm::bvector< Alloc >::iterator_base::dgap_descr
• bm::distance_metric_descriptor
• DLVResultGrammar< Iterator >
• DLVResultParser
• DynamicVector< K, T >
• EAInputTupleCache
• impl::ElementTag
• bm::encoder
• EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• EvalGraphBuilder
  • DumpingEvalGraphBuilder
• EvalGraphE1Fixture
• EvalGraphE2Fixture
  • EvalGraphE2MirroredFixture
  • ModelGraphE2M2Fixture
• EvalGraphEx1Fixture
• OnlineModelBuilder< EvalGraphT >::EvalGraphObserver
• EvalHeuristicBase< EvalGraphBuilderT >
• EvalHeuristicBase< EvalGraphBuilder >
  • DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode
  • EvalHeuristicASP
  • EvalHeuristicEasy
  • EvalHeuristicFromFile
  • EvalHeuristicGreedy
  • EvalHeuristicMonolithic
  • EvalHeuristicOldDlvhex
  • EvalHeuristicTrivial
• OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
• ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels
• EvalUnitProjectionProperties
  • FinalEvalUnitPropertyBase
• BaseModelGenerator::ExternalAnswerTupleCallback
  • BaseModelGenerator::ExternalAnswerTupleMultiCallback
  • BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB
  • BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB
  • BaseModelGenerator::VerifyExternalAtomCB
• ExternalAtomEvaluationHeuristics
  • ExternalAtomEvaluationHeuristicsAlways
  • ExternalAtomEvaluationHeuristicsEAComplete
  • ExternalAtomEvaluationHeuristicsInputComplete
  • ExternalAtomEvaluationHeuristicsNever
  • ExternalAtomEvaluationHeuristicsPeriodic
  • TestSetMinusAtom::EAHeuristics
• ExternalAtomEvaluationHeuristicsFactory
  • ExternalAtomEvaluationHeuristicsAlwaysFactory
  • ExternalAtomEvaluationHeuristicsEACompleteFactory
  • ExternalAtomEvaluationHeuristicsInputCompleteFactory
  • ExternalAtomEvaluationHeuristicsNeverFactory
  • ExternalAtomEvaluationHeuristicsPeriodicFactory
  • TestSetMinusAtom::EAHeuristicsFactory
• ExternalAtomVerificationTree
• ExternalLearningHelper
• DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT >
• DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver >
• ExtSourceProperties
• FinalCallback
  • TestFinalCallback
• bm::first_bit_table< T >
• bm::gamma_decoder< T, TBitIO >
• bm::gamma_encoder< T, TBitIO >
• bm::gap_len_table< T >
• bm::gap_len_table_min< T >
• bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• GeneralError
  • FatalError
    • UsageError
  • PluginError
  • SyntaxError
• GenericDepGraphFixture< ProgramCtxFixtureT >
  • GenericDepGraphCompGraphFixture< ProgramCtxFixtureT >
• ASPSolverManager::GenericOptions
  • ASPSolver::DLVSoftware::Options
• GenPluginAtom1
• GenPluginAtom2
• GenuineGrounder
  • GenuineSolver
  • InternalGrounder
• bm::globals< T >
• handle_dbg
• handle_fact
• handle_finished_answerset
• handle_ident
• handle_int
• DependencyGraph::HeadBodyHelper
• DependencyGraph::HeadBodyInfo
• DependencyGraph::HeadPredicateTag
• HexGrammarBase< Iterator, Skipper >
  • HexGrammar< Iterator, Skipper >
• HexGrammarSemantics
  • ChoiceParserModuleSemantics
  • ConditionalParserModuleSemantics
  • FunctionParserModuleAtomSemantics
  • FunctionParserModuleTermSemantics
  • HigherOrderParserModuleSemantics
  • ManualEvalHeuristicsParserModuleSemantics
  • QueryParserModuleSemantics
  • StrongNegationParserModuleSemantics
• HexParser
  • ModuleHexParser
• HexParserModule
• HexParserSkipperGrammar< Iterator >
• EvalGraphBuilder::identity
• DependencyGraph::IDTag
• Registry::Impl
• EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Impl
• InputProvider::Impl
• DependencyGraph::InBodyTag
• DependencyGraph::InHeadTag
• Logger::Init
• ExternalLearningHelper::InputNogoodProvider
  • ExternalLearningHelper::DefaultInputNogoodProvider
• InputProvider
• bm::bvector< Alloc >::insert_iterator
• insert_set_iterator< T >
• impl::InstTag
• bm::bvector< Alloc >::iterator_base
  • bm::bvector< Alloc >::enumerator
    • bm::bvector< Alloc >::counted_enumerator
    • bm::bvector< Alloc >::counted_enumerator
  • bm::bvector< Alloc >::enumerator
• bm::iterator_deserializer< BV, SerialIterator >
• impl::KindTag
• LiberalSafetyChecker
• LiberalSafetyPlugin
  • DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker
  • DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker
  • DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker
  • DLVHEX_NAMESPACE_BEGIN::FinitenessChecker
• LiberalSafetyPluginFactory
• PluginContainer::LoadedPlugin
• Logger
• bm::mem_alloc< BA, PA >
• bm::miniset< A, N >
• MLPSyntaxChecker
• ModelBuilder< EvalGraphT >
  • OnlineModelBuilder< EvalGraphT >
    • OfflineModelBuilder< EvalGraphT >
• ModelBuilderConfig< EvalGraphT >
• ModelCallback
  • AnswerSetPrinterCallback
  • CSVAnswerSetPrinterCallback
  • ProgramCtx::SubprogramAnswerSetCallback
• TestModelGeneratorFactory::ModelGenerator
• ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• ModelBuilder< EvalGraphT >::ModelProperties
• impl::ModuleNameTag
• benchmark::nestingAware::NestingAwareController
• ExternalAtomVerificationTree::Node
• LiberalSafetyChecker::NodeInfoTag
• LiberalSafetyChecker::NodeMappingInfo
• DependencyGraph::NodeMappingInfo
• NogoodContainer
  • CDNLSolver
    • InternalGroundASPSolver
      • InternalGroundDASPSolver
  • GenuineGroundSolver
    • GenuineSolver
    • InternalGroundASPSolver
  • SATSolver
    • CDNLSolver
  • SimpleNogoodContainer
• NogoodGrounder
  • ImmediateNogoodGrounder
  • LazyNogoodGrounder
• none_t
• EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer
• OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
• OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties
• OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
• bm::operation_deserializer< BV >
• bm::operation_functions< T >
• option
• OrderedSet< T, H >
• OrdinaryASPProgram
• OrdinaryASPSolver
  • DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
  • GenuineGroundSolver
• ostream_printable< T >
  • Table< AggregateAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > > > >
  • Table< BuiltinAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > > > >
  • Table< ExternalAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::ordered_non_unique< boost::multi_index::tag< impl::PredicateTag >, > > >
  • Table< Module, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::ModuleNameTag >, > > >
  • Table< ModuleAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_non_unique< boost::multi_index::tag< impl::PredicateTag >, >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::ElementTag >, boost::multi_index::composite_key< ModuleAtom, BOOST_MULTI_INDEX_MEMBER(ModuleAtom, ID, predicate), BOOST_MULTI_INDEX_MEMBER(ModuleAtom, Tuple, inputs), > > > >
  • Table< OrdinaryAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::TextTag >, >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::TupleTag >, >, boost::multi_index::hashed_non_unique< boost::multi_index::tag< impl::PredicateTag >, boost::multi_index::const_mem_fun_explicit< OrdinaryAtom, ID, ID(Atom::*)() const,&Atom::front > > > >
  • Table< Predicate, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::PredicateNameTag >, > > >
  • Table< Rule, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::ordered_non_unique< boost::multi_index::tag< impl::KindTag >, >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::ElementTag >, boost::multi_index::composite_key< Rule, BOOST_MULTI_INDEX_MEMBER(Rule, IDKind, kind), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, head), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, body), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, headGuard), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, bodyWeightVector), BOOST_MULTI_INDEX_MEMBER(Rule, ID, bound), BOOST_MULTI_INDEX_MEMBER(Rule, ID, weight), BOOST_MULTI_INDEX_MEMBER(Rule, ID, level), > > > >
  • Table< Term, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::TermTag >, > > >
• ostream_printable< AggregateAtom >
  • AggregateAtom
• ostream_printable< AnswerSet >
  • AnswerSet
• ostream_printable< Attribute >
  • LiberalSafetyChecker::Attribute
• ostream_printable< BuiltinAtom >
  • BuiltinAtom
• ostream_printable< ComfortAtom >
  • ComfortAtom
• ostream_printable< ComfortInterpretation >
  • ComfortInterpretation
• ostream_printable< ComfortLiteral >
  • ComfortLiteral
• ostream_printable< ComfortTerm >
  • ComfortTerm
• ostream_printable< ComponentInfo >
  • ComponentGraph::ComponentInfo
• ostream_printable< DependencyInfo >
  • ComponentGraph::DependencyInfo
  • DependencyGraph::DependencyInfo
    • ComponentGraph::DependencyInfo
• ostream_printable< EvalUnitDepPropertyBundle >
  • EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle
• ostream_printable< EvalUnitModelGeneratorFactoryProperties< Interpretation > >
  • EvalUnitModelGeneratorFactoryProperties< Interpretation >
    • FinalEvalUnitPropertyBase
• ostream_printable< EvalUnitModelGeneratorFactoryProperties< InterpretationT > >
  • EvalUnitModelGeneratorFactoryProperties< InterpretationT >
• ostream_printable< EvalUnitPropertyBundle >
  • EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundle
• ostream_printable< ExternalAtom >
  • ExternalAtom
• ostream_printable< FinalEvalUnitPropertyBase >
  • FinalEvalUnitPropertyBase
• ostream_printable< GenuineGuessAndCheckModelGenerator >
  • GenuineGuessAndCheckModelGenerator
• ostream_printable< GenuineGuessAndCheckModelGeneratorFactory >
  • GenuineGuessAndCheckModelGeneratorFactory
• ostream_printable< GenuinePlainModelGenerator >
  • GenuinePlainModelGenerator
• ostream_printable< GenuinePlainModelGeneratorFactory >
  • GenuinePlainModelGeneratorFactory
• ostream_printable< GenuineWellfoundedModelGenerator >
  • GenuineWellfoundedModelGenerator
• ostream_printable< GenuineWellfoundedModelGeneratorFactory >
  • GenuineWellfoundedModelGeneratorFactory
• ostream_printable< GuessAndCheckModelGenerator >
  • GuessAndCheckModelGenerator
• ostream_printable< GuessAndCheckModelGeneratorFactory >
  • GuessAndCheckModelGeneratorFactory
• ostream_printable< ID >
  • ID
• ostream_printable< Interpretation >
  • Interpretation
• ostream_printable< InterpretationBase >
  • InterpretationBase
    • Interpretation
• ostream_printable< ModelDepPropertyBundle >
  • ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelDepPropertyBundle
• ostream_printable< ModelGeneratorBase< Interpretation > >
  • ModelGeneratorBase< Interpretation >
    • BaseModelGenerator
      • FLPModelGeneratorBase
        • GenuineGuessAndCheckModelGenerator
        • GuessAndCheckModelGenerator
      • GenuinePlainModelGenerator
      • GenuineWellfoundedModelGenerator
      • PlainModelGenerator
      • WellfoundedModelGenerator
• ostream_printable< ModelGeneratorBase< InterpretationT > >
  • ModelGeneratorBase< InterpretationT >
• ostream_printable< ModelGeneratorFactoryBase< Interpretation > >
  • ModelGeneratorFactoryBase< Interpretation >
    • BaseModelGeneratorFactory
      • FLPModelGeneratorFactoryBase
        • GenuineGuessAndCheckModelGeneratorFactory
        • GuessAndCheckModelGeneratorFactory
      • GenuinePlainModelGeneratorFactory
      • GenuineWellfoundedModelGeneratorFactory
      • PlainModelGeneratorFactory
      • WellfoundedModelGeneratorFactory
• ostream_printable< ModelGeneratorFactoryBase< InterpretationT > >
  • ModelGeneratorFactoryBase< InterpretationT >
• ostream_printable< ModelPropertyBundle >
  • ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
• ostream_printable< Module >
  • Module
• ostream_printable< ModuleAtom >
  • ModuleAtom
• ostream_printable< NodeInfo >
  • DependencyGraph::NodeInfo
• ostream_printable< Nogood >
  • Nogood
• ostream_printable< NogoodSet >
  • NogoodSet
• ostream_printable< OrdinaryAtom >
  • OrdinaryAtom
• ostream_printable< PlainModelGenerator >
  • PlainModelGenerator
• ostream_printable< PlainModelGeneratorFactory >
  • PlainModelGeneratorFactory
• ostream_printable< Predicate >
  • Predicate
• ostream_printable< Registry >
  • Registry
• ostream_printable< Rule >
  • Rule
• ostream_printable< Table< AggregateAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > > > > >
• ostream_printable< Table< BuiltinAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > > > > >
• ostream_printable< Table< ExternalAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::ordered_non_unique< boost::multi_index::tag< impl::PredicateTag >, > > > >
• ostream_printable< Table< Module, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::ModuleNameTag >, > > > >
• ostream_printable< Table< ModuleAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_non_unique< boost::multi_index::tag< impl::PredicateTag >, >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::ElementTag >, boost::multi_index::composite_key< ModuleAtom, BOOST_MULTI_INDEX_MEMBER(ModuleAtom, ID, predicate), BOOST_MULTI_INDEX_MEMBER(ModuleAtom, Tuple, inputs), > > > > >
• ostream_printable< Table< OrdinaryAtom, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::TextTag >, >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::TupleTag >, >, boost::multi_index::hashed_non_unique< boost::multi_index::tag< impl::PredicateTag >, boost::multi_index::const_mem_fun_explicit< OrdinaryAtom, ID, ID(Atom::*)() const,&Atom::front > > > > >
• ostream_printable< Table< Predicate, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::PredicateNameTag >, > > > >
• ostream_printable< Table< Rule, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::ordered_non_unique< boost::multi_index::tag< impl::KindTag >, >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::ElementTag >, boost::multi_index::composite_key< Rule, BOOST_MULTI_INDEX_MEMBER(Rule, IDKind, kind), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, head), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, body), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, headGuard), BOOST_MULTI_INDEX_MEMBER(Rule, Tuple, bodyWeightVector), BOOST_MULTI_INDEX_MEMBER(Rule, ID, bound), BOOST_MULTI_INDEX_MEMBER(Rule, ID, weight), BOOST_MULTI_INDEX_MEMBER(Rule, ID, level), > > > > >
• ostream_printable< Table< Term, boost::multi_index::indexed_by< boost::multi_index::random_access< boost::multi_index::tag< impl::AddressTag > >, boost::multi_index::hashed_unique< boost::multi_index::tag< impl::TermTag >, > > > >
• ostream_printable< Table< ValueT, IndexT > >
  • Table< ValueT, IndexT >
    • AggregateAtomTable
    • BuiltinAtomTable
    • ExternalAtomTable
    • ModuleAtomTable
    • ModuleTable
    • OrdinaryAtomTable
    • PredicateTable
    • RuleTable
    • TermTable
• ostream_printable< Term >
  • Term
• ostream_printable< WellfoundedModelGenerator >
  • WellfoundedModelGenerator
• ostream_printable< WellfoundedModelGeneratorFactory >
  • WellfoundedModelGeneratorFactory
• ParserState
• PluginAtom
  • ComfortPluginAtom
    • TestAAtom
    • TestBAtom
    • TestCAtom
    • TestEvenAtom
    • TestMinusOneAtom
    • TestOddAtom
    • TestSetMinusAtom
  • FunctionComposeAtom
  • FunctionDecomposeAtom
  • FunctionDecomposeGeneralAtom
  • FunctionInterprete
  • GetArityAtom
  • IsFunctionTermAtom
  • TestAppendAtom
  • TestASPQueryAtom
    • TestBraveQueryAtom
    • TestCautiousQueryAtom
  • TestConcatAllAtom
  • TestConcatAtom
  • TestCycleAtom
  • TestDisjAtom
  • TestDLSimulatorAtom
  • TestEqualAtom
  • TestFirstAtom
  • TestHashAtom
  • TestIdAtom
  • TestIdcAtom
  • TestIdpAtom
  • TestLessThanAtom
  • TestListConcatAtom
  • TestListDomainAtom
  • TestListLengthAtom
  • TestListMergeAtom
  • TestListSplitAtom
  • TestListSplitHalfAtom
  • TestMoveAtom
  • TestNegAtom
  • TestNonmon2Atom
  • TestNonmonAtom
  • TestPlugin::ProductionRequirementsAtom
  • TestPlugin::SumNonZeroAtom
  • TestPlugin::TestGen2Atom
  • TestPlugin::TestIsEmpty
  • TestPlugin::TestNumberOfBalls
  • TestPlugin::TestNumberOfBallsGE
  • TestPlugin::TestNumberOfBallsSE
  • TestPlugin::TestSetUnionAtom
  • TestPushAtom
  • TestReachableAtom
  • TestSetMinusNogoodBasedLearningAtom
  • TestSetMinusNonComfortAtom
  • TestSetMinusNongroundNogoodBasedLearningAtom
  • TestSetMinusPartialAtom
  • TestSetMinusRuleBasedLearningAtom
  • TestSmallerThanAtom
  • TestStrlenAtom
  • TestSubstrAtom
  • TestTransitiveClosureAtom
  • TestTrueMultiInpAtom
  • TestTrueMultiInpAtom2
  • TestZeroArityAtom
• PluginContainer
• PluginConverter
• PluginData
  • AggregatePlugin::CtxData
  • ChoicePlugin::CtxData
  • ConditionalLiteralPlugin::CtxData
  • FunctionPlugin::CtxData
  • HigherOrderPlugin::CtxData
  • ManualEvalHeuristicsPlugin::CtxData
  • QueryPlugin::CtxData
  • StrongNegationPlugin::CtxData
  • TestPlugin::CtxData
  • WeakConstraintPlugin::CtxData
• PluginEnvironment
• PluginInterface
  • AggregatePlugin
  • ChoicePlugin
  • ConditionalLiteralPlugin
  • FunctionPlugin
  • HigherOrderPlugin
  • ManualEvalHeuristicsPlugin
  • QueryPlugin
  • StrongNegationPlugin
  • TestPlugin
  • WeakConstraintPlugin
• PluginOptimizer
• PluginPtrDeleter< AllocatedT >
• PluginPtrNOPDeleter< AllocatedT >
• PluginRewriter
  • FunctionRewriter
• PredicateMask
  • ExternalAtomMask
• PredicateMatches
• impl::PredicateNameTag
• impl::PredicateTag
• print_container
  • print_method_container
  • print_stream_container< T >
• Printer
  • RawPrinter
• Process
  • DLVProcess
• ProcessBuf
• AnnotatedGroundProgram::ProgramComponent
• ProgramCtx
• ProgramExt1ProgramCtxFixture
• ProgramMCSMedDProgramCtxFixture
• ProgramMCSMedEQProgramCtxFixture
• PropagatorCallback
  • GenuineGuessAndCheckModelGenerator
• bm::ptr_allocator
• bm::ptr_guard< T >
• PluginAtom::Query
• bm::random_subset< BV >
• boost::range_const_iterator< Set< T > >
• boost::range_mutable_iterator< Set< T > >
• Term::Ref
  • Term::PtrRef
  • Term::PtrRef
  • Term::VecRef
  • Term::VecRef
• bm::bvector< Alloc >::reference
• CAUAlgorithms::RelevanceMarkingVisitor< Graph >
• ASPSolverManager::Results
  • ConcurrentQueueResults
  • PreparedResults
• bm::tmatrix< T, ROWS, COLS >::rstat
• HexGrammarBase< Iterator, Skipper >::Rule< Attrib, Dummy >
• HexGrammarBase< Iterator, Skipper >::Rule< void, Dummy >
• SafetyCheckerBase
  • SafetyChecker
  • StrongSafetyChecker
• sem< Tag >
• sem< ChoiceParserModuleSemantics::choiceElement >
• sem< ChoiceParserModuleSemantics::choiceHead >
• sem< ChoiceParserModuleSemantics::choiceRule >
• sem< ConditionalParserModuleSemantics::conditionalLieral >
• sem< FunctionParserModuleAtomSemantics::functionTermEval >
• sem< FunctionParserModuleTermSemantics::functionTermConstruct >
• sem< HexGrammarSemantics::add >
• sem< HexGrammarSemantics::addMLPModuleHeader >
• sem< HexGrammarSemantics::addMLPModuleName >
• sem< HexGrammarSemantics::aggregateAtom >
• sem< HexGrammarSemantics::bodyLiteral >
• sem< HexGrammarSemantics::builtinBinaryInfix >
• sem< HexGrammarSemantics::builtinBinaryPrefix >
• sem< HexGrammarSemantics::builtinTernaryInfix >
• sem< HexGrammarSemantics::builtinTernaryPrefix >
• sem< HexGrammarSemantics::builtinUnaryPrefix >
• sem< HexGrammarSemantics::classicalAtomFromPrefix >
  • sem< HexGrammarSemantics::classicalAtomFromTuple >
• sem< HexGrammarSemantics::constraint >
• sem< HexGrammarSemantics::externalAtom >
• sem< HexGrammarSemantics::extSourceProperty >
• sem< HexGrammarSemantics::ignoreAndWarnIfNotFail >
• sem< HexGrammarSemantics::maxint >
• sem< HexGrammarSemantics::mlpModuleAtom >
• sem< HexGrammarSemantics::predFromNameOnly >
• sem< HexGrammarSemantics::predFromPredDecl >
• sem< HexGrammarSemantics::predFromString >
• sem< HexGrammarSemantics::rule >
• sem< HexGrammarSemantics::ruleVariableDisjunction >
• sem< HexGrammarSemantics::termFromCIdent >
• sem< HexGrammarSemantics::termFromFunctionTerm >
• sem< HexGrammarSemantics::termFromInteger >
• sem< HexGrammarSemantics::termFromRange >
• sem< HexGrammarSemantics::termFromString >
• sem< HexGrammarSemantics::termFromVariable >
• sem< HexGrammarSemantics::termId >
• sem< HexGrammarSemantics::weakconstraint >
• sem< HexGrammarSemantics::weakconstraintaspcore2 >
• sem< HigherOrderParserModuleSemantics::higherOrderAtom >
• sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >
• sem< QueryParserModuleSemantics::queryBody >
• sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >
• SemanticActionBase< ManagerClass, TargetAttribute, Tag >
• SemanticActionBase< ChoiceParserModuleSemantics, ID, choiceElement >
  • ChoiceParserModuleSemantics::choiceElement
• SemanticActionBase< ChoiceParserModuleSemantics, ID, choiceRule >
  • ChoiceParserModuleSemantics::choiceRule
• SemanticActionBase< ChoiceParserModuleSemantics, Tuple, choiceHead >
  • ChoiceParserModuleSemantics::choiceHead
• SemanticActionBase< ConditionalParserModuleSemantics, ID, conditionalLieral >
  • ConditionalParserModuleSemantics::conditionalLieral
• SemanticActionBase< FunctionParserModuleAtomSemantics, ID, functionTermEval >
  • FunctionParserModuleAtomSemantics::functionTermEval
• SemanticActionBase< FunctionParserModuleTermSemantics, ID, functionTermConstruct >
  • FunctionParserModuleTermSemantics::functionTermConstruct
• SemanticActionBase< HigherOrderParserModuleSemantics, ID, higherOrderAtom >
  • HigherOrderParserModuleSemantics::higherOrderAtom
• SemanticActionBase< ManualEvalHeuristicsParserModuleSemantics, ID, evalUnit >
  • ManualEvalHeuristicsParserModuleSemantics::evalUnit
• SemanticActionBase< QueryParserModuleSemantics, ID, queryBody >
  • QueryParserModuleSemantics::queryBody
• SemanticActionBase< StrongNegationParserModuleSemantics, ID, stronglyNegatedPrefixAtom >
  • StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom
• SenseNotArmed1PluginAtom
• SenseNotArmed2PluginAtom
• bm::serializer< BV >
• Set< T >
• Set< ID >
  • Nogood
• set_iterator< T >
• SimpleEvaluator
• CDNLSolver::SimpleHashID
• CDNLSolver::SimpleHashIDAddress
• ASPSolverManager::SoftwareBase
  • ASPSolver::DLVSoftware
• ASPSolverManager::SoftwareConfigurationBase
  • ASPSolverManager::SoftwareConfiguration< SoftwareT >
• SortElement< T >
• bm::sse_empty_guard
• benchmark::simple::BenchmarkController::Stat
• benchmark::nestingAware::NestingAwareController::Stat
• State
  • CheckLiberalSafetyState
  • ConvertState
  • CreateComponentGraphState
  • CreateDependencyGraphState
  • CreateEvalGraphState
  • EvaluateState
  • MLPSolverState
  • ModuleSyntaxCheckState
  • OptimizeEDBDependencyGraphState
  • ParseState
  • PostProcessState
  • RewriteEDBIDBState
  • SafetyCheckState
  • SetupProgramCtxState
  • ShowPluginsState
  • StrongSafetyCheckState
• impl::TermTag
• TestEvalUnitPropertyBase
• TestInterpretation
• TestModelGeneratorFactory
• TestModelPropertyBase
• TestPluginAspCtxAcc
• TestPluginAtomCount
• TestPluginAtomReach
• TestProgramCtx
• impl::TextTag
• bm::tmatrix< T, ROWS, COLS >
• impl::TupleTag
• UnfoundedSetChecker
  • AssumptionBasedUnfoundedSetChecker
  • EncodingBasedUnfoundedSetChecker
• UnfoundedSetCheckerManager
• UnfoundedSetCheckHeuristics
  • UnfoundedSetCheckHeuristicsMax
    • UnfoundedSetCheckHeuristicsPeriodic
  • UnfoundedSetCheckHeuristicsPost
• UnfoundedSetCheckHeuristicsFactory
  • UnfoundedSetCheckHeuristicsMaxFactory
  • UnfoundedSetCheckHeuristicsPeriodicFactory
  • UnfoundedSetCheckHeuristicsPostFactory
• UnfoundedSetChecker::UnfoundedSetVerificationStatus
• EvalGraphBuilder::UnusedEdgeFilter
• EvalGraphBuilder::UnusedVertexFilter