Here is a list of all struct and union fields with links to the structures/unions they belong to:
- o -
- oatom
: DependencyGraph::HeadBodyInfo
- ObserverPtr
: EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
- observers
: EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
- obuf
: ProcessBuf
- OfflineModelBuilder()
: OfflineModelBuilder< EvalGraphT >
- OfflineModelBuilderTFixture()
: OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
- OfflineModelBuildingProperties()
: OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties
- OfflineModelBuildingPropertyMap
: OfflineModelBuilder< EvalGraphT >
- offmbp
: OfflineModelBuilder< EvalGraphT >
- ogatoms
: Registry
- omb
: OnlineModelBuilder< EvalGraphT >::EvalGraphObserver
, OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
, OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
- on_empty_block()
: 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
, bm::blocks_manager< Alloc >::bm_func_base
, bm::blocks_manager< Alloc >::bm_func_base_const
- 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
- onatoms
: Registry
- OnlineModelBuilder()
: OnlineModelBuilder< EvalGraphT >
- OnlineModelBuilderTFixture()
: OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
- onlyNegativeAuxiliaries()
: BaseModelGenerator::VerifyExternalAtomCB
- onlySafeSupportSets
: ExtSourceProperties
- 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!=()
: ComfortTerm
, ID
, Interpretation
, Module
, Nogood
, 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 >
- operator&()
: ID
- operator&=()
: bm::bvector< Alloc >::reference
, bm::bvector< Alloc >
, bm::bvector< Alloc >::reference
, bm::bvector< Alloc >
- operator()()
: ExternalLearningHelper::DefaultInputNogoodProvider
, bm::blocks_manager< Alloc >::block_any_func
, bm::blocks_manager< Alloc >::gap_level_func
, sem< Tag >
, bm::blocks_manager< Alloc >::block_opt_func
, bm::blocks_manager< Alloc >::block_invert_func
, SemanticActionBase< ManagerClass, TargetAttribute, Tag >
, bm::blocks_manager< Alloc >::block_zero_func
, bm::blocks_manager< Alloc >::block_one_func
, sem< HexGrammarSemantics::termId >
, bm::blocks_manager< Alloc >::block_free_func
, bm::blocks_manager< Alloc >::block_copy_func
, sem< HexGrammarSemantics::termFromCIdent >
, bm::d_copy_func< T >
, bm::copy_to_array_functor< B >
, sem< HexGrammarSemantics::termFromFunctionTerm >
, bm::copy_to_array_functor< B >
, sem< HexGrammarSemantics::termFromRange >
, bm::copy_to_array_functor< B >
, bm::copy_to_array_functor_inc< B >
, sem< HexGrammarSemantics::termFromInteger >
, bm::copy_to_array_functor_inc< B >
, sem< HexGrammarSemantics::termFromString >
, bm::copy_to_array_functor_inc< B >
, bm::bit_AND< W >
, sem< HexGrammarSemantics::termFromVariable >
, bm::bit_OR< W >
, bm::bit_SUB< W >
, sem< HexGrammarSemantics::predFromPredDecl >
, bm::bit_XOR< W >
, bm::bit_ASSIGN< W >
, sem< HexGrammarSemantics::predFromNameOnly >
, bm::bit_COUNT< W >
, bm::bit_COUNT_AND< W >
, sem< HexGrammarSemantics::predFromString >
, bm::bit_COUNT_XOR< W >
, bm::bit_COUNT_OR< W >
, sem< HexGrammarSemantics::classicalAtomFromPrefix >
, bm::bit_COUNT_SUB_AB< W >
, bm::bit_COUNT_SUB_BA< W >
, sem< HexGrammarSemantics::classicalAtomFromTuple >
, bm::bit_COUNT_A< W >
, bm::bit_COUNT_B< W >
, sem< HexGrammarSemantics::builtinTernaryInfix >
, bm::gamma_decoder< T, TBitIO >
, bm::gamma_encoder< T, TBitIO >
, sem< HexGrammarSemantics::builtinBinaryInfix >
, bm::gamma_decoder< T, TBitIO >
, bm::blocks_manager< Alloc >::block_count_func
, sem< HexGrammarSemantics::builtinUnaryPrefix >
, bm::blocks_manager< Alloc >::block_count_arr_func
, bm::blocks_manager< Alloc >::block_count_change_func
, sem< HexGrammarSemantics::builtinBinaryPrefix >
, bm::blocks_manager< Alloc >::block_any_func
, bm::blocks_manager< Alloc >::gap_level_func
, sem< HexGrammarSemantics::builtinTernaryPrefix >
, bm::blocks_manager< Alloc >::block_opt_func
, bm::blocks_manager< Alloc >::block_invert_func
, sem< HexGrammarSemantics::aggregateAtom >
, bm::blocks_manager< Alloc >::block_zero_func
, bm::blocks_manager< Alloc >::block_one_func
, sem< HexGrammarSemantics::externalAtom >
, bm::blocks_manager< Alloc >::block_free_func
, bm::blocks_manager< Alloc >::block_copy_func
, sem< HexGrammarSemantics::extSourceProperty >
, bm::d_copy_func< T >
, bm::copy_to_array_functor< B >
, sem< HexGrammarSemantics::mlpModuleAtom >
, bm::copy_to_array_functor< B >
, sem< HexGrammarSemantics::bodyLiteral >
, bm::copy_to_array_functor< B >
, bm::copy_to_array_functor_inc< B >
, sem< HexGrammarSemantics::rule >
, bm::copy_to_array_functor_inc< B >
, sem< HexGrammarSemantics::ruleVariableDisjunction >
, bm::copy_to_array_functor_inc< B >
, bm::bit_AND< W >
, sem< HexGrammarSemantics::constraint >
, bm::bit_OR< W >
, bm::bit_SUB< W >
, sem< HexGrammarSemantics::weakconstraint >
, bm::bit_XOR< W >
, bm::bit_ASSIGN< W >
, sem< HexGrammarSemantics::weakconstraintaspcore2 >
, bm::bit_COUNT< W >
, bm::bit_COUNT_AND< W >
, sem< HexGrammarSemantics::addMLPModuleName >
, bm::bit_COUNT_XOR< W >
, bm::bit_COUNT_OR< W >
, sem< HexGrammarSemantics::addMLPModuleHeader >
, bm::bit_COUNT_SUB_AB< W >
, bm::bit_COUNT_SUB_BA< W >
, sem< HexGrammarSemantics::add >
, bm::bit_COUNT_A< W >
, bm::bit_COUNT_B< W >
, sem< HexGrammarSemantics::ignoreAndWarnIfNotFail >
, bm::gamma_decoder< T, TBitIO >
, bm::gamma_encoder< T, TBitIO >
, sem< HexGrammarSemantics::maxint >
, bm::gamma_decoder< T, TBitIO >
, ModelCallback
, FinalCallback
, PluginPtrDeleter< AllocatedT >
, PluginPtrNOPDeleter< AllocatedT >
, ProgramCtx::SubprogramAnswerSetCallback
, SafetyCheckerBase
, SafetyChecker
, StrongSafetyChecker
, PredicateMatches
, AtomMatches
, sem< ChoiceParserModuleSemantics::choiceRule >
, sem< ChoiceParserModuleSemantics::choiceHead >
, sem< ChoiceParserModuleSemantics::choiceElement >
, AnswerSetPrinterCallback
, sem< ConditionalParserModuleSemantics::conditionalLieral >
, handle_dbg
, CSVAnswerSetPrinterCallback
, handle_int
, handle_ident
, CDNLSolver::SimpleHashIDAddress
, handle_finished_answerset
, handle_fact
, CDNLSolver::SimpleHashID
, sem< FunctionParserModuleTermSemantics::functionTermConstruct >
, sem< FunctionParserModuleAtomSemantics::functionTermEval >
, EvalGraphBuilder::identity
, sem< HigherOrderParserModuleSemantics::higherOrderAtom >
, sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >
, EvalGraphBuilder::UnusedVertexFilter
, sem< QueryParserModuleSemantics::queryBody >
, sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >
, EvalGraphBuilder::UnusedEdgeFilter
, TestFinalCallback
, bm::blocks_manager< Alloc >::block_count_func
, ExternalLearningHelper::InputNogoodProvider
, bm::blocks_manager< Alloc >::block_count_arr_func
, bm::blocks_manager< Alloc >::block_count_change_func
- 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++()
: bm::bvector< Alloc >::enumerator
, insert_set_iterator< T >
, const_set_iterator< T >
, bm::bvector< Alloc >::counted_enumerator
, 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
- operator-()
: const_set_iterator< T >
, set_iterator< T >
- operator--()
: const_set_iterator< T >
, set_iterator< T >
- operator-=()
: bm::bvector< Alloc >
- operator->()
: const_set_iterator< T >
, set_iterator< T >
- operator<()
: ComfortTerm
, DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue
, Interpretation
, LiberalSafetyChecker::Attribute
, SortElement< T >
, bm::bvector< Alloc >::iterator_base
, bm::bvector< Alloc >
, DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
, ComfortAtom
- operator<<
: ostream_printable< T >
- operator<=()
: bm::bvector< Alloc >
, bm::bvector< Alloc >::iterator_base
, bm::bvector< Alloc >
, bm::bvector< Alloc >::iterator_base
- operator=()
: EvalGraphBuilder::UnusedVertexFilter
, EvalGraphBuilder::UnusedEdgeFilter
, Nogood
, NogoodSet
, PluginAtom::Answer
, PluginAtom
, PredicateMask
, Set< T >
, Table< ValueT, IndexT >
, bm::bvector< Alloc >::reference
, bm::bvector< Alloc >::insert_iterator
, bm::bvector< Alloc >::counted_enumerator
, bm::bvector< Alloc >
, bm::blocks_manager< Alloc >::bm_func_base_const
, bm::blocks_manager< Alloc >::block_copy_func
, bm::blocks_manager< Alloc >
, bm::bit_block_guard< BlocksManager >
, bm::copy_to_array_functor< B >
, bm::copy_to_array_functor_inc< B >
, bm::gamma_decoder< T, TBitIO >
, bm::serializer< BV >
, bm::ptr_guard< T >
, bm::bit_out< TEncoder >
, bm::gamma_encoder< T, TBitIO >
, bm::gamma_decoder< T, TBitIO >
, bm::bvector< Alloc >::reference
, bm::bit_out< TEncoder >
, bm::ptr_guard< T >
, bm::gamma_decoder< T, TBitIO >
, bm::bvector< Alloc >::insert_iterator
, bm::bvector< Alloc >::counted_enumerator
, bm::bvector< Alloc >
, bm::blocks_manager< Alloc >::bm_func_base
, bm::blocks_manager< Alloc >::bm_func_base_const
, bm::blocks_manager< Alloc >::block_copy_func
, bm::blocks_manager< Alloc >
, bm::copy_to_array_functor< B >
, bm::copy_to_array_functor_inc< B >
, bm::serializer< BV >
, bm::gamma_encoder< T, TBitIO >
, bm::gamma_decoder< T, TBitIO >
, bm::bit_block_guard< BlocksManager >
, bm::bit_in< TDecoder >
, bm::random_subset< BV >
, bm::bit_in< TDecoder >
, bm::bvector< Alloc >::reference
, bm::random_subset< BV >
, AnnotatedGroundProgram
, ExternalAtom
, bm::blocks_manager< Alloc >::bm_func_base
, bm::bvector< Alloc >::reference
, insert_set_iterator< T >
- operator==()
: Interpretation
, LiberalSafetyChecker::Attribute
, PluginAtom::Answer
, DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
, ComfortInterpretation
, SortElement< T >
, ComfortTerm
, ID
, Nogood
, PluginAtom::Query
, set_iterator< T >
, bm::bvector< Alloc >::reference
, bm::bvector< Alloc >::iterator_base
, bm::bvector< Alloc >
, bm::bvector< Alloc >::reference
, bm::bvector< Alloc >
, bm::bvector< Alloc >::iterator_base
, const_set_iterator< T >
, Module
- operator>()
: bm::bvector< Alloc >
, bm::bvector< Alloc >::iterator_base
, SortElement< T >
, bm::bvector< Alloc >::iterator_base
- operator>=()
: bm::bvector< Alloc >::iterator_base
, bm::bvector< Alloc >
- operator[]()
: Set< T >
, bm::bvector< Alloc >
, DynamicVector< K, T >
, bm::bvector< Alloc >
, Set< T >
- operator^=()
: bm::bvector< Alloc >::reference
, bm::bvector< Alloc >
, bm::bvector< Alloc >::reference
- operator|()
: ID
- operator|=()
: bm::bvector< Alloc >::reference
, ExtSourceProperties
, bm::bvector< Alloc >
, ComponentGraph::DependencyInfo
, bm::bvector< Alloc >
, DependencyGraph::DependencyInfo
, bm::bvector< Alloc >::reference
- operator~()
: bm::bvector< Alloc >
, bm::bvector< Alloc >::reference
- opipe
: DLVProcess
- oproject
: EvalUnitProjectionProperties
- opt_compress
: bm::bvector< Alloc >
- opt_free_0
: bm::bvector< Alloc >
- opt_free_01
: bm::bvector< Alloc >
- opt_mode_
: bm::blocks_manager< Alloc >::block_opt_func
- optimize()
: bm::bvector< Alloc >
, PluginOptimizer
, bm::bvector< Alloc >
- optimize_gap_size()
: bm::bvector< Alloc >
- optimizeEDBDependencyGraph()
: State
, ProgramCtx
, OptimizeEDBDependencyGraphState
- OptimizeEDBDependencyGraphState()
: OptimizeEDBDependencyGraphState
- OptionalModel
: ModelBuilder< EvalGraphT >
, OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
, OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
, OfflineModelBuilder< EvalGraphT >
, OnlineModelBuilder< EvalGraphT >
- OptionalModelListIterator
: OfflineModelBuilder< EvalGraphT >
, OnlineModelBuilder< EvalGraphT >
- OptionalModelSuccessorIterator
: OnlineModelBuilder< EvalGraphT >
- optionFilter
: Configuration
- optionMap
: Configuration
- optionNoEval
: Config
- optionPlugindir
: Config
- Options
: ASPSolver::DLVSoftware::Delegate
- options
: ASPSolverManager::SoftwareConfiguration< SoftwareT >
- Options()
: ASPSolver::DLVSoftware::Options
, ASPSolverManager::SoftwareConfiguration< SoftwareT >
, ASPSolverManager::SoftwareBase
- OptLevel
: InternalGrounder
- optlevel
: InternalGrounder
- optmode
: bm::bvector< Alloc >
- OrderedSet()
: OrderedSet< T, H >
- Ordinary
: LiberalSafetyChecker::Attribute
, UnfoundedSetChecker
- OrdinaryASPProgram()
: OrdinaryASPProgram
- OrdinaryAtom()
: OrdinaryAtom
- ordinaryFacts
: InternalGroundASPSolver
- ordinaryFactsInt
: InternalGroundASPSolver
- orefcount
: OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
- os
: OrderedSet< T, H >
- otuples
: PluginAtom
- out
: Logger
, Printer
- outerEatoms
: ComponentGraph::ComponentInfo
, WellfoundedModelGeneratorFactory
, GenuineGuessAndCheckModelGeneratorFactory
, GenuineWellfoundedModelGeneratorFactory
, GuessAndCheckModelGeneratorFactory
- outerEatomsNonmonotonic
: ComponentGraph::ComponentInfo
- output
: benchmark::nestingAware::NestingAwareController
, BaseModelGenerator::ExternalAnswerTupleMultiCallback
, BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB
, BaseModelGenerator::VerifyExternalAtomCB
, BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB
, benchmark::simple::BenchmarkController
, BaseModelGenerator::ExternalAnswerTupleCallback
, PluginAtom::Answer
, DumpingEvalGraphBuilder
- outputAtom
: ModuleAtom
- outputAtoms
: ExternalAtomMask
- outputFilePrefix
: BaseTopology
- outputi
: BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB
- outputProjection()
: InternalGroundASPSolver
- outputSize
: PluginAtom
- overflow()
: ProcessBuf