Here is a list of all struct and union fields with links to the structures/unions they belong to:

- c -

• c : OrderedSet< T, H >
• cache : EAInputTupleCache
• cacheMutex : PluginAtom
• calc_stat() : bm::bvector< Alloc >
• calculateComponents() : ComponentGraph
• calculateFixedDomain() : ComponentGraph
• calculatePredicatesOfComponent() : ComponentGraph
• calculateStratificationInfo() : ComponentGraph
• calculateStrVal() : ComfortAtom , ComfortLiteral
• callbacks : BaseModelGenerator::ExternalAnswerTupleMultiCallback
• candidates_count_ : bm::random_subset< BV >
• capacity() : bm::bvector< Alloc > , bm::blocks_manager< Alloc > , bm::bvector< Alloc > , bm::blocks_manager< Alloc >
• caresAboutAssigned : ExtSourceProperties
• caresAboutChanged : ExtSourceProperties
• caus : CAUAlgorithms::AncestryMarkingVisitor< Graph >
• cause : CDNLSolver
• CAUTIOUS : QueryPlugin::CtxData
• CDNLSolver() : CDNLSolver
• ceum : EvalGraphBuilder::UnusedVertexFilter , EvalGraphBuilder::UnusedEdgeFilter
• cfg : OfflineModelBuilderTFixture< EvalGraphBaseFixtureT > , OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
• cg : internalgreedy::DFSVisitor , ComponentGraph , EvalGraphBuilder::UnusedEdgeFilter , EvalGraphBuilder , internal::DFSVisitor
• cgrest : EvalGraphBuilder
• changed : PluginAtom::Query
• changedAtoms : CDNLSolver
• changedAtomsPerExternalAtom : GenuineGuessAndCheckModelGenerator
• changeRegistry() : ProgramCtx
• changeState() : ProgramCtx , State
• check_allocate_block() : bm::blocks_manager< Alloc >
• check_allocate_tempblock() : bm::blocks_manager< Alloc >
• check_or_next() : bm::bvector< Alloc >
• check_or_next_extract() : bm::bvector< Alloc >
• checkInputArity() : PluginAtom
• checkLiberalSafety() : State , CheckLiberalSafetyState
• CheckLiberalSafetyState() : CheckLiberalSafetyState
• checkOutputArity() : PluginAtom
• checkSafety() : SafetyChecker
• childModelsGenerated : ModelBuilder< EvalGraphT >::ModelProperties
• childNodes : ExternalAtomVerificationTree::Node
• choiceElement() : ChoiceParserModuleSemantics::choiceElement
• choiceHead() : ChoiceParserModuleSemantics::choiceHead
• ChoiceParserModuleSemantics() : ChoiceParserModuleSemantics
• ChoicePlugin() : ChoicePlugin
• choiceRule() : ChoiceParserModuleSemantics::choiceRule
• choiceRuleCompatible : UnfoundedSetCheckerManager
• ci : GenuineWellfoundedModelGeneratorFactory , GuessAndCheckModelGeneratorFactory , GenuineGuessAndCheckModelGeneratorFactory , GenuinePlainModelGeneratorFactory
• cident : HexGrammarBase< Iterator, Skipper >
• classicalAtom : HexGrammarBase< Iterator, Skipper >
• classicalAtomPredicate : HexGrammarBase< Iterator, Skipper >
• clear() : Interpretation , SimpleNogoodContainer , RuleTable , Set< T > , bm::bvector< Alloc >
• clear_bit() : bm::bvector< Alloc > , bm::bvector_mini< A > , bm::bvector< Alloc > , bm::bvector_mini< A >
• clearFact() : CDNLSolver , InternalGroundASPSolver , Interpretation
• clearIModel() : OnlineModelBuilder< EvalGraphT >
• clearOModel() : OnlineModelBuilder< EvalGraphT >
• clone() : ComponentGraph , Term
• clonedcgptr : EvalGraphBuilder
• close() : DLVProcess , Process , ProcessBuf
• Closure : Logger , Logger::Closure
• cmModelCount : GenuineGuessAndCheckModelGenerator
• cnd : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• cnt : bm::bvector< Alloc >::iterator_base::bitblock_descr
• cnt_ : bm::decoder_range_adapter< DEC >
• cntAssignments : CDNLSolver
• cntBacktracks : CDNLSolver
• cntDetectedConflicts : CDNLSolver
• cntDetectedUnfoundedSets : InternalGroundASPSolver
• cntGuesses : CDNLSolver
• cntResSteps : CDNLSolver
• collapse : evalheur::BuildCommand
• collapseComponents() : ComponentGraph
• cols() : bm::tmatrix< T, ROWS, COLS >
• combine_and() : bm::bvector_mini< A >
• combine_count_operation_with_block() : bm::bvector< Alloc >
• combine_operation() : bm::bvector< Alloc >
• combine_operation_with_block() : bm::bvector< Alloc >
• combine_or() : bm::bvector_mini< A >
• combine_sub() : bm::bvector_mini< A >
• combine_xor() : bm::bvector_mini< A >
• ComfortAnswer : ComfortPluginAtom
• ComfortAtom() : ComfortAtom
• ComfortPluginAtom() : ComfortPluginAtom
• ComfortTerm() : ComfortTerm
• commandline() : DLVProcess , Process
• compare() : OrderedSet< T, H > , bm::bvector< Alloc > , bm::bvector_mini< A > , bm::bvector< Alloc > , bm::bvector_mini< A >
• compDependencies : InternalGrounder
• compgraph : ProgramCtx , GenericDepGraphCompGraphFixture< ProgramCtxFixtureT >
• complete() : CDNLSolver
• completeNegativeSupportSets : ExtSourceProperties
• completePositiveSupportSets : ExtSourceProperties
• Component : ComponentGraph , EvalGraphBuilder
• COMPONENT_EVALUATION : Configuration
• componentAtoms : AnnotatedGroundProgram::ProgramComponent , UnfoundedSetChecker
• ComponentEvalUnitMapping : EvalGraphBuilder
• ComponentGraph() : ComponentGraph
• ComponentGraphRest : EvalGraphBuilder
• componentidx : DumpingEvalGraphBuilder
• ComponentInfo : GenuineGuessAndCheckModelGeneratorFactory , GenuinePlainModelGeneratorFactory , GenuineWellfoundedModelGeneratorFactory , GuessAndCheckModelGeneratorFactory , PlainModelGeneratorFactory , WellfoundedModelGeneratorFactory , ComponentGraph::ComponentInfo
• componentIsMonotonic : ComponentGraph::ComponentInfo
• ComponentIterator : ComponentGraph
• componentOfAtom : AnnotatedGroundProgram , InternalGroundASPSolver
• ComponentSet : ComponentGraph
• composeTerm() : FunctionRewriter
• compression_level_ : bm::serializer< BV >
• comps : internal::DFSVisitor , internalgreedy::DFSVisitor
• compute_distance_matrix() : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• compute_top_block_size() : bm::blocks_manager< Alloc >
• computeAdditionalDependencies() : AnnotatedGroundProgram
• computeAtomDependencyGraph() : AnnotatedGroundProgram
• computeBuiltinInformationFlow() : LiberalSafetyChecker
• computeChoiceRuleCompatibility() : UnfoundedSetCheckerManager
• computeChoiceRuleCompatibilityForComponent() : UnfoundedSetCheckerManager
• computeClarkCompletion() : InternalGroundASPSolver
• computeCollapsedComponentInfos() : ComponentGraph
• computeCyclicAttributes() : LiberalSafetyChecker , DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker
• computeCyclicInputPredicates() : FLPModelGeneratorFactoryBase
• computeDepGraph() : InternalGroundASPSolver , InternalGrounder
• computeDomainExpansionSafety() : LiberalSafetyChecker
• computeECycles() : AnnotatedGroundProgram
• computeExtensionOfDomainPredicates() : BaseModelGenerator
• computeGloballyNewAtom() : InternalGrounder
• computeHeadCycles() : AnnotatedGroundProgram
• computeRecursiveAggregatesInComponent() : ComponentGraph
• computeShadowAndUnfoundedPredicates() : FLPModelGeneratorBase
• computeStrata() : InternalGrounder
• computeStronglyConnectedComponents() : AnnotatedGroundProgram , InternalGroundASPSolver
• computeWeightVector() : AnswerSet
• ConcurrentMessageQueueOwning() : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• ConcurrentQueueResults() : ConcurrentQueueResults
• ConcurrentQueueResultsImplPtr : ASPSolver::DLVSoftware::Delegate
• conditionalLieral() : ConditionalParserModuleSemantics::conditionalLieral
• ConditionalLiteralPlugin() : ConditionalLiteralPlugin
• ConditionalParserModuleSemantics() : ConditionalParserModuleSemantics
• Config() : Config
• config : ProgramCtx
• Configuration : ASPSolver::DLVSoftware , Configuration
• conflicts : CDNLSolver
• const_iterator : Set< T >
• const_reference : Set< T > , bm::bvector< Alloc >
• const_set_iterator() : const_set_iterator< T >
• constant() : Term
• CONSTANT : PluginAtom
• constantSpace : ModelBuilderConfig< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
• ConstPtr : AnswerSet , CDNLSolver , GenuineGrounder , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , InternalGroundDASPSolver , InternalGrounder , Interpretation , NogoodContainer , SimpleNogoodContainer , SATSolver , UnfoundedSetChecker , TestInterpretation
• constraint : HexGrammarBase< Iterator, Skipper >
• Constraint : TestProgramCtx
• constructDomain() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblem() : EncodingBasedUnfoundedSetChecker
• constructUFSDetectionProblemAndInstantiateSolver() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblemBasicEABehavior() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblemCreateAuxAtoms() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblemDefineAuxiliaries() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblemFacts() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblemNecessaryPart() : EncodingBasedUnfoundedSetChecker
• constructUFSDetectionProblemNonempty() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblemOptimizationPart() : EncodingBasedUnfoundedSetChecker
• constructUFSDetectionProblemOptimizationPartBasicEAKnowledge() : EncodingBasedUnfoundedSetChecker
• constructUFSDetectionProblemOptimizationPartEAEnforement() : EncodingBasedUnfoundedSetChecker
• constructUFSDetectionProblemOptimizationPartLearnedFromMainSearch() : EncodingBasedUnfoundedSetChecker
• constructUFSDetectionProblemOptimizationPartRestrictToCompatibleSet() : EncodingBasedUnfoundedSetChecker
• constructUFSDetectionProblemRestrictToSCC() : AssumptionBasedUnfoundedSetChecker
• constructUFSDetectionProblemRule() : AssumptionBasedUnfoundedSetChecker
• Container : Table< ValueT, IndexT >
• container : Table< ValueT, IndexT >
• contains() : Set< T > , CDNLSolver
• containsHeadCycles() : AnnotatedGroundProgram
• containsPlaceholder() : FunctionInterprete
• contentNames : InputProvider::Impl , InputProvider
• context : PluginError
• contradictoryNogoods : CDNLSolver
• convert() : PluginConverter , ProgramCtx , State , ConvertState
• convert_buf() : bm::miniset< A, N >
• convert_gap2bitset() : bm::blocks_manager< Alloc >
• convertRule() : BaseModelGeneratorFactory
• convertRuleBody() : BaseModelGeneratorFactory
• ConvertState() : ConvertState
• copy_bit_block() : bm::blocks_manager< Alloc >
• copy_block() : bm::blocks_manager< Alloc >
• copy_to_array_functor() : bm::copy_to_array_functor< B >
• copy_to_array_functor_inc() : bm::copy_to_array_functor_inc< B >
• costline : DLVResultGrammar< Iterator >
• count : benchmark::nestingAware::NestingAwareController::Stat , benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController , Set< T > , bm::bvector< Alloc >::counted_enumerator , bm::blocks_manager< Alloc >::block_count_func , bm::blocks_manager< Alloc >::block_count_change_func , bm::bvector< Alloc >::counted_enumerator , bm::blocks_manager< Alloc >::block_count_func , bm::blocks_manager< Alloc >::block_count_change_func , bm::bvector< Alloc > , benchmark::simple::BenchmarkController::Stat
• count_ : bm::blocks_manager< Alloc >::block_count_func , bm::blocks_manager< Alloc >::block_count_change_func
• count_blocks() : bm::bvector< Alloc >
• count_range() : bm::bvector< Alloc >
• countComponents() : ComponentGraph
• countDependencies() : ComponentGraph , DependencyGraph
• counted_enumerator() : bm::bvector< Alloc >::counted_enumerator
• counter : UnfoundedSetCheckHeuristicsPeriodic , ExternalAtomEvaluationHeuristicsPeriodic
• counters : CounterVerification< EvalGraphT >
• CounterVerification() : CounterVerification< EvalGraphT >
• countEvalUnitDeps() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• countEvalUnits() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• countModelDeps() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• countModels() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• countNodes() : DependencyGraph
• create() : LiberalSafetyPluginFactory
• createAtom() : sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom > , sem< HexGrammarSemantics::classicalAtomFromPrefix > , BaseTopology
• createAtoms() : AggregatePlugin , ChoicePlugin , ConditionalLiteralPlugin , PluginInterface , WeakConstraintPlugin , TestPlugin , FunctionPlugin
• createAuxiliaryRule() : DependencyGraph
• createAuxiliaryRuleHead() : DependencyGraph
• createAuxiliaryRuleHeadPredicate() : DependencyGraph
• createAuxiliaryRuleIfRequired() : DependencyGraph
• createComponentGraph() : ProgramCtx , State , CreateComponentGraphState
• CreateComponentGraphState() : CreateComponentGraphState
• createConstant() : ComfortTerm
• createConverter() : PluginInterface
• createConverters() : PluginInterface
• createDelegate() : ASPSolverManager::SoftwareConfiguration< SoftwareT > , ASPSolverManager::SoftwareConfigurationBase
• createDependencies() : DependencyGraph
• createDependencyGraph() : ProgramCtx , State , LiberalSafetyChecker , CreateDependencyGraphState
• CreateDependencyGraphState() : CreateDependencyGraphState
• createEAMasks() : AnnotatedGroundProgram
• createEatomGuessingRule() : FLPModelGeneratorFactoryBase
• createEatomGuessingRules() : FLPModelGeneratorFactoryBase
• createEvalGraph() : CreateEvalGraphState , State , ProgramCtx
• CreateEvalGraphState() : CreateEvalGraphState
• createEvalUnit() : DumpingEvalGraphBuilder , EvalGraphBuilder
• createExternalPredicateInputDependencies() : DependencyGraph
• createExternalPredicateInputDependenciesForInput() : DependencyGraph
• createFLPRules() : FLPModelGeneratorFactoryBase
• createFoundingRules() : FLPModelGeneratorBase
• createGrammarModule() : HexParserModule
• createGroundAtom() : BaseTopology
• createHeadBodyUnifyingDependencies() : DependencyGraph
• createHeadHeadUnifyingDependencies() : DependencyGraph
• createHeuristics() : UnfoundedSetCheckHeuristicsPostFactory , UnfoundedSetCheckHeuristicsPeriodicFactory , ExternalAtomEvaluationHeuristicsNeverFactory , ExternalAtomEvaluationHeuristicsAlwaysFactory , UnfoundedSetCheckHeuristicsMaxFactory , ExternalAtomEvaluationHeuristicsPeriodicFactory , ExternalAtomEvaluationHeuristicsFactory , UnfoundedSetCheckHeuristicsFactory , ExternalAtomEvaluationHeuristicsEACompleteFactory , ExternalAtomEvaluationHeuristicsInputCompleteFactory , TestSetMinusAtom::EAHeuristicsFactory
• createIModelFromPredecessorOModels() : OnlineModelBuilder< EvalGraphT >
• createInteger() : ComfortTerm
• createLibraryModule() : RingTopology , RandomTopology , TreeTopology , BaseTopology , StarTopology , LineTopology , DiamondTopology
• createLiteral() : NogoodContainer
• createMainModule() : StarTopology , RingTopology , RandomTopology , BaseTopology , TreeTopology , DiamondTopology , LineTopology
• createMinimalityRules() : FLPModelGeneratorBase
• createModelGenerator() : GenuineGuessAndCheckModelGeneratorFactory , GenuinePlainModelGeneratorFactory , GuessAndCheckModelGeneratorFactory , TestModelGeneratorFactory , PlainModelGeneratorFactory , WellfoundedModelGeneratorFactory , ModelGeneratorFactoryBase< InterpretationT > , GenuineWellfoundedModelGeneratorFactory
• createModuleHeader() : BaseTopology
• createNewAtom() : InternalGroundASPSolver
• createNewBodyAtom() : InternalGroundASPSolver
• createNextModel() : OnlineModelBuilder< EvalGraphT >
• createNode() : DependencyGraph
• createNodesAndIntraRuleDependencies() : DependencyGraph
• createNodesAndIntraRuleDependenciesForBody() : DependencyGraph
• createNodesAndIntraRuleDependenciesForRule() : DependencyGraph
• createNodesAndIntraRuleDependenciesForRuleAddHead() : DependencyGraph
• createNogoodsForRule() : InternalGroundASPSolver
• createNogoodsForRuleBody() : InternalGroundASPSolver
• createNonGroundAtom() : BaseTopology
• createOptimizer() : PluginInterface
• createParser() : PluginInterface
• createParserModules() : ChoicePlugin , ManualEvalHeuristicsPlugin , HigherOrderPlugin , StrongNegationPlugin , FunctionPlugin , PluginInterface , ConditionalLiteralPlugin , QueryPlugin
• createPreconditionsAndLocationIndices() : LiberalSafetyChecker
• createProgramMask() : AnnotatedGroundProgram
• createRewriter() : QueryPlugin , FunctionPlugin , StrongNegationPlugin , PluginInterface , HigherOrderPlugin , AggregatePlugin , WeakConstraintPlugin , ManualEvalHeuristicsPlugin
• createShiftedProgram() : InternalGroundASPSolver
• createSingularLoopNogoods() : InternalGroundASPSolver
• createUnifyingDependencies() : DependencyGraph
• createVariable() : ComfortTerm
• CSVAnswerSetPrinterCallback() : CSVAnswerSetPrinterCallback
• ctx : PlainModelGeneratorFactory , AnnotatedGroundProgram , ProgramExt1ProgramCtxFixture , MLPSyntaxChecker , FunctionInterprete , UnfoundedSetCheckerManager , DependencyGraph , SafetyCheckerBase , TestFinalCallback , UnfoundedSetChecker , TestASPQueryAtom , GenuineGuessAndCheckModelGeneratorFactory , GuessAndCheckModelGeneratorFactory , ProgramMCSMedDProgramCtxFixture , WellfoundedModelGeneratorFactory , TestSetMinusRuleBasedLearningAtom , TestEvalUnitPropertyBase , GenuinePlainModelGeneratorFactory , ProgramMCSMedEQProgramCtxFixture , EvalGraphBuilder , InternalGrounder , ExternalAtomMask , AnswerSetPrinterCallback , PluginAtom::Query , CDNLSolver , HexGrammarSemantics , FLPModelGeneratorFactoryBase , TestModelGeneratorFactory , GenuineWellfoundedModelGeneratorFactory , ComponentGraph
• ctxdata : FunctionParserModuleAtomSemantics , ChoiceParserModuleSemantics , HigherOrderParserModuleSemantics
• CtxData() : WeakConstraintPlugin::CtxData
• ctxdata : ConditionalParserModuleSemantics , StrongNegationParserModuleSemantics
• CtxData() : ManualEvalHeuristicsPlugin::CtxData , ConditionalLiteralPlugin::CtxData , StrongNegationPlugin::CtxData
• ctxdata : FunctionRewriter
• CtxData() : TestPlugin::CtxData
• ctxdata : FunctionParserModuleTermSemantics
• CtxData() : AggregatePlugin::CtxData , HigherOrderPlugin::CtxData
• ctxdata : ManualEvalHeuristicsParserModuleSemantics
• CtxData() : FunctionPlugin::CtxData , QueryPlugin::CtxData
• ctxdata : QueryParserModuleSemantics
• CtxData() : ChoicePlugin::CtxData
• Current() : benchmark::nestingAware::NestingAwareController::Current
• current : PreparedResults , benchmark::nestingAware::NestingAwareController , ParserState
• currentDL : CDNLSolver
• currentIModel : OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties
• currentisuccessor : OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
• currentjrp : OfflineModelBuilder< EvalGraphT >
• currentmg : OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
• currentModuleName : HexGrammarSemantics
• currentOModel : OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties
• currentOptimum : ProgramCtx
• currentOptimumRelevantLevels : ProgramCtx
• currentResults : PlainModelGenerator , GenuinePlainModelGenerator , WellfoundedModelGenerator , GenuineWellfoundedModelGenerator
• currentUnit : ManualEvalHeuristicsPlugin::CtxData
• customModelGeneratorProvider : ProgramCtx
• cutoff : Logger::Closure
• cyclicAttributes : DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker , LiberalSafetyChecker