- o -

• OfflineModelBuilder() : OfflineModelBuilder< EvalGraphT >
• OfflineModelBuilderTFixture() : OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
• OfflineModelBuildingProperties() : OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties
• on_empty_block() : bm::blocks_manager< Alloc >::bm_func_base , bm::blocks_manager< Alloc >::bm_func_base_const , bm::blocks_manager< Alloc >::block_opt_func , bm::blocks_manager< Alloc >::bm_func_base_const , bm::blocks_manager< Alloc >::block_opt_func , bm::blocks_manager< Alloc >::bm_func_base
• on_empty_top() : bm::blocks_manager< Alloc >::bm_func_base , bm::blocks_manager< Alloc >::bm_func_base_const , bm::blocks_manager< Alloc >::block_opt_func , bm::blocks_manager< Alloc >::bm_func_base , bm::blocks_manager< Alloc >::bm_func_base_const , bm::blocks_manager< Alloc >::block_opt_func
• OnlineModelBuilder() : OnlineModelBuilder< EvalGraphT >
• OnlineModelBuilderTFixture() : OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
• onlyNegativeAuxiliaries() : BaseModelGenerator::VerifyExternalAtomCB
• open() : ProcessBuf
• operator bool() : bm::bvector< Alloc >::reference
• operator const int() : const_set_iterator< T > , set_iterator< T >
• operator uint64_t() : ID
• operator!() : bm::bvector< Alloc >::reference
• operator!=() : const_set_iterator< T > , set_iterator< T > , SortElement< T > , bm::bvector< Alloc >::iterator_base , bm::bvector< Alloc > , bm::bvector< Alloc >::iterator_base , bm::bvector< Alloc > , ComfortTerm , ID , Interpretation , Module , Nogood
• operator&() : ID
• operator&=() : bm::bvector< Alloc >::reference , bm::bvector< Alloc > , bm::bvector< Alloc >::reference , bm::bvector< Alloc >
• operator()() : sem< HexGrammarSemantics::predFromString > , bm::copy_to_array_functor< B > , bm::copy_to_array_functor_inc< B > , sem< HexGrammarSemantics::classicalAtomFromPrefix > , bm::copy_to_array_functor_inc< B > , sem< HexGrammarSemantics::classicalAtomFromTuple > , bm::copy_to_array_functor_inc< B > , bm::bit_AND< W > , sem< HexGrammarSemantics::builtinTernaryInfix > , bm::bit_OR< W > , bm::bit_SUB< W > , sem< HexGrammarSemantics::builtinBinaryInfix > , bm::bit_XOR< W > , bm::bit_ASSIGN< W > , sem< HexGrammarSemantics::builtinUnaryPrefix > , bm::bit_COUNT< W > , bm::bit_COUNT_AND< W > , sem< HexGrammarSemantics::builtinBinaryPrefix > , bm::bit_COUNT_XOR< W > , bm::bit_COUNT_OR< W > , sem< HexGrammarSemantics::builtinTernaryPrefix > , bm::bit_COUNT_SUB_AB< W > , bm::bit_COUNT_SUB_BA< W > , sem< HexGrammarSemantics::aggregateAtom > , bm::bit_COUNT_A< W > , bm::bit_COUNT_B< W > , sem< HexGrammarSemantics::externalAtom > , bm::gamma_decoder< T, TBitIO > , bm::gamma_encoder< T, TBitIO > , sem< HexGrammarSemantics::extSourceProperty > , bm::gamma_decoder< T, TBitIO > , bm::blocks_manager< Alloc >::block_count_func , sem< HexGrammarSemantics::mlpModuleAtom > , bm::blocks_manager< Alloc >::block_count_arr_func , bm::blocks_manager< Alloc >::block_count_change_func , sem< HexGrammarSemantics::bodyLiteral > , bm::blocks_manager< Alloc >::block_any_func , bm::blocks_manager< Alloc >::gap_level_func , sem< HexGrammarSemantics::rule > , bm::blocks_manager< Alloc >::block_opt_func , bm::blocks_manager< Alloc >::block_invert_func , sem< HexGrammarSemantics::ruleVariableDisjunction > , bm::blocks_manager< Alloc >::block_zero_func , bm::blocks_manager< Alloc >::block_one_func , sem< HexGrammarSemantics::constraint > , bm::blocks_manager< Alloc >::block_free_func , bm::blocks_manager< Alloc >::block_copy_func , sem< HexGrammarSemantics::weakconstraint > , bm::d_copy_func< T > , bm::copy_to_array_functor< B > , sem< HexGrammarSemantics::weakconstraintaspcore2 > , bm::copy_to_array_functor< B > , sem< HexGrammarSemantics::addMLPModuleName > , bm::copy_to_array_functor< B > , bm::copy_to_array_functor_inc< B > , sem< HexGrammarSemantics::addMLPModuleHeader > , bm::copy_to_array_functor_inc< B > , sem< HexGrammarSemantics::add > , bm::copy_to_array_functor_inc< B > , bm::bit_AND< W > , sem< HexGrammarSemantics::ignoreAndWarnIfNotFail > , bm::bit_OR< W > , bm::bit_SUB< W > , sem< HexGrammarSemantics::maxint > , bm::bit_XOR< W > , bm::bit_ASSIGN< W > , ModelCallback , bm::bit_COUNT< W > , bm::bit_COUNT_AND< W > , AnswerSetPrinterCallback , FinalCallback , bm::bit_COUNT_XOR< W > , bm::bit_COUNT_OR< W > , PluginPtrDeleter< AllocatedT > , bm::bit_COUNT_SUB_AB< W > , bm::bit_COUNT_SUB_BA< W > , CSVAnswerSetPrinterCallback , PluginPtrNOPDeleter< AllocatedT > , bm::bit_COUNT_A< W > , bm::bit_COUNT_B< W > , ProgramCtx::SubprogramAnswerSetCallback , bm::gamma_decoder< T, TBitIO > , bm::gamma_encoder< T, TBitIO > , CDNLSolver::SimpleHashIDAddress , SafetyCheckerBase , bm::gamma_decoder< T, TBitIO > , SafetyChecker , CDNLSolver::SimpleHashID , StrongSafetyChecker , PredicateMatches , EvalGraphBuilder::identity , AtomMatches , sem< ChoiceParserModuleSemantics::choiceRule > , EvalGraphBuilder::UnusedVertexFilter , sem< ChoiceParserModuleSemantics::choiceHead > , sem< ChoiceParserModuleSemantics::choiceElement > , EvalGraphBuilder::UnusedEdgeFilter , sem< ConditionalParserModuleSemantics::conditionalLieral > , handle_dbg , ExternalLearningHelper::InputNogoodProvider , handle_int , handle_ident , ExternalLearningHelper::DefaultInputNogoodProvider , handle_finished_answerset , handle_fact , sem< Tag > , sem< FunctionParserModuleTermSemantics::functionTermConstruct > , sem< FunctionParserModuleAtomSemantics::functionTermEval > , SemanticActionBase< ManagerClass, TargetAttribute, Tag > , sem< HigherOrderParserModuleSemantics::higherOrderAtom > , sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit > , sem< HexGrammarSemantics::termId > , sem< QueryParserModuleSemantics::queryBody > , sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom > , sem< HexGrammarSemantics::termFromCIdent > , TestFinalCallback , bm::blocks_manager< Alloc >::block_count_func , sem< HexGrammarSemantics::termFromFunctionTerm > , bm::blocks_manager< Alloc >::block_count_arr_func , bm::blocks_manager< Alloc >::block_count_change_func , sem< HexGrammarSemantics::termFromRange > , bm::blocks_manager< Alloc >::block_any_func , bm::blocks_manager< Alloc >::gap_level_func , sem< HexGrammarSemantics::termFromInteger > , bm::blocks_manager< Alloc >::block_opt_func , bm::blocks_manager< Alloc >::block_invert_func , sem< HexGrammarSemantics::termFromString > , bm::blocks_manager< Alloc >::block_zero_func , bm::blocks_manager< Alloc >::block_one_func , sem< HexGrammarSemantics::termFromVariable > , bm::blocks_manager< Alloc >::block_free_func , bm::blocks_manager< Alloc >::block_copy_func , sem< HexGrammarSemantics::predFromPredDecl > , bm::d_copy_func< T > , bm::copy_to_array_functor< B > , sem< HexGrammarSemantics::predFromNameOnly > , bm::copy_to_array_functor< B >
• operator*() : insert_set_iterator< T > , const_set_iterator< T > , set_iterator< T > , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::enumerator
• operator+() : const_set_iterator< T > , set_iterator< T >
• operator++() : insert_set_iterator< T > , const_set_iterator< T > , set_iterator< T > , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::counted_enumerator , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::counted_enumerator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::counted_enumerator , const_set_iterator< T > , bm::bvector< Alloc >::insert_iterator
• operator-() : set_iterator< T > , const_set_iterator< T > , set_iterator< T >
• operator--() : set_iterator< T > , const_set_iterator< T >
• operator-=() : bm::bvector< Alloc >
• operator->() : const_set_iterator< T > , set_iterator< T >
• operator<() : bm::bvector< Alloc >::iterator_base , bm::bvector< Alloc > , LiberalSafetyChecker::Attribute , DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey , ComfortTerm , DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue , Interpretation , ComfortAtom , SortElement< T > , bm::bvector< Alloc >::iterator_base
• operator<=() : bm::bvector< Alloc >::iterator_base , bm::bvector< Alloc > , bm::bvector< Alloc >::iterator_base
• operator=() : bm::bit_block_guard< BlocksManager > , bm::bit_in< TDecoder > , bm::bvector< Alloc >::counted_enumerator , bm::bvector< Alloc > , bm::blocks_manager< Alloc >::bm_func_base , bm::blocks_manager< Alloc >::bm_func_base_const , ExternalAtom , bm::blocks_manager< Alloc >::block_copy_func , bm::copy_to_array_functor_inc< B > , bm::gamma_decoder< T, TBitIO > , bm::ptr_guard< T > , bm::gamma_decoder< T, TBitIO > , bm::bvector< Alloc >::reference , bm::bvector< Alloc >::counted_enumerator , bm::blocks_manager< Alloc >::block_copy_func , bm::blocks_manager< Alloc > , bm::copy_to_array_functor_inc< B > , bm::blocks_manager< Alloc >::bm_func_base_const , bm::ptr_guard< T > , bm::bit_out< TEncoder > , bm::bit_in< TDecoder > , bm::gamma_decoder< T, TBitIO > , bm::serializer< BV > , bm::copy_to_array_functor< B > , bm::bvector< Alloc >::insert_iterator , bm::gamma_encoder< T, TBitIO > , bm::copy_to_array_functor< B > , bm::serializer< BV > , bm::bit_block_guard< BlocksManager > , insert_set_iterator< T > , bm::bvector< Alloc >::reference , Nogood , NogoodSet , Set< T > , PredicateMask , EvalGraphBuilder::UnusedVertexFilter , PluginAtom::Answer , EvalGraphBuilder::UnusedEdgeFilter , bm::gamma_decoder< T, TBitIO > , bm::bvector< Alloc >::reference , Table< ValueT, IndexT > , bm::random_subset< BV > , bm::gamma_encoder< T, TBitIO > , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc > , bm::blocks_manager< Alloc >::bm_func_base , bm::blocks_manager< Alloc > , bm::bit_out< TEncoder > , AnnotatedGroundProgram , PluginAtom , bm::random_subset< BV >
• operator==() : set_iterator< T > , PluginAtom::Query , ComfortTerm , LiberalSafetyChecker::Attribute , ComfortInterpretation , const_set_iterator< T > , SortElement< T > , bm::bvector< Alloc >::iterator_base , DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey , PluginAtom::Answer , Interpretation , Module , bm::bvector< Alloc >::iterator_base , ID , bm::bvector< Alloc >::reference , bm::bvector< Alloc > , Nogood , bm::bvector< Alloc > , bm::bvector< Alloc >::reference
• operator>() : SortElement< T > , bm::bvector< Alloc >::iterator_base , bm::bvector< Alloc > , bm::bvector< Alloc >::iterator_base , bm::bvector< Alloc >
• operator>=() : bm::bvector< Alloc > , bm::bvector< Alloc >::iterator_base
• operator[]() : DynamicVector< K, T > , bm::bvector< Alloc > , Set< T > , bm::bvector< Alloc > , Set< T > , bm::bvector< Alloc >
• operator^=() : bm::bvector< Alloc > , bm::bvector< Alloc >::reference , bm::bvector< Alloc > , bm::bvector< Alloc >::reference
• operator|() : ID
• operator|=() : ExtSourceProperties , bm::bvector< Alloc > , DependencyGraph::DependencyInfo , ComponentGraph::DependencyInfo , bm::bvector< Alloc > , bm::bvector< Alloc >::reference
• operator~() : bm::bvector< Alloc >::reference , bm::bvector< Alloc > , bm::bvector< Alloc >::reference
• optimize() : PluginOptimizer , bm::bvector< Alloc >
• optimize_gap_size() : bm::bvector< Alloc >
• optimizeEDBDependencyGraph() : OptimizeEDBDependencyGraphState , State , ProgramCtx
• OptimizeEDBDependencyGraphState() : OptimizeEDBDependencyGraphState
• Options() : ASPSolver::DLVSoftware::Options
• OrderedSet() : OrderedSet< T, H >
• OrdinaryASPProgram() : OrdinaryASPProgram
• OrdinaryAtom() : OrdinaryAtom
• output() : BaseModelGenerator::ExternalAnswerTupleCallback , BaseModelGenerator::VerifyExternalAtomCB , BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB , BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB , BaseModelGenerator::ExternalAnswerTupleMultiCallback
• outputProjection() : InternalGroundASPSolver
• overflow() : ProcessBuf