- c -

• calc_stat() : bm::bvector< Alloc >
• calculateComponents() : ComponentGraph
• calculateFixedDomain() : ComponentGraph
• calculatePredicatesOfComponent() : ComponentGraph
• calculateStratificationInfo() : ComponentGraph
• calculateStrVal() : ComfortLiteral , ComfortAtom
• capacity() : bm::bvector< Alloc > , bm::blocks_manager< Alloc > , bm::bvector< Alloc > , bm::blocks_manager< Alloc >
• CDNLSolver() : CDNLSolver
• changeRegistry() : ProgramCtx
• changeState() : State , ProgramCtx
• 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
• choiceElement() : ChoiceParserModuleSemantics::choiceElement
• choiceHead() : ChoiceParserModuleSemantics::choiceHead
• ChoiceParserModuleSemantics() : ChoiceParserModuleSemantics
• ChoicePlugin() : ChoicePlugin
• choiceRule() : ChoiceParserModuleSemantics::choiceRule
• 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
• close() : DLVProcess , Process , ProcessBuf
• Closure() : Logger::Closure
• 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 >
• 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 >
• complete() : CDNLSolver
• ComponentGraph() : ComponentGraph
• ComponentInfo() : ComponentGraph::ComponentInfo
• composeTerm() : FunctionRewriter
• 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
• conditionalLieral() : ConditionalParserModuleSemantics::conditionalLieral
• ConditionalLiteralPlugin() : ConditionalLiteralPlugin
• ConditionalParserModuleSemantics() : ConditionalParserModuleSemantics
• Config() : Config
• Configuration() : Configuration
• const_set_iterator() : const_set_iterator< T >
• constant() : Term
• 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
• contains() : CDNLSolver , Set< T >
• containsHeadCycles() : AnnotatedGroundProgram
• containsPlaceholder() : FunctionInterprete
• contentNames() : InputProvider
• 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 >
• count() : bm::blocks_manager< Alloc >::block_count_func , benchmark::nestingAware::NestingAwareController , benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController , Set< T > , bm::bvector< Alloc >::counted_enumerator , bm::bvector< Alloc > , bm::blocks_manager< Alloc >::block_count_change_func , bm::bvector< Alloc >::counted_enumerator , bm::bvector< Alloc > , bm::blocks_manager< Alloc >::block_count_change_func
• count_blocks() : bm::bvector< Alloc >
• count_range() : bm::bvector< Alloc >
• countComponents() : ComponentGraph
• countDependencies() : DependencyGraph , ComponentGraph
• counted_enumerator() : bm::bvector< Alloc >::counted_enumerator
• 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< HexGrammarSemantics::classicalAtomFromPrefix > , BaseTopology , sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >
• createAtoms() : ChoicePlugin , AggregatePlugin , ConditionalLiteralPlugin , FunctionPlugin , PluginInterface , TestPlugin , WeakConstraintPlugin
• createAuxiliaryRule() : DependencyGraph
• createAuxiliaryRuleHead() : DependencyGraph
• createAuxiliaryRuleHeadPredicate() : DependencyGraph
• createAuxiliaryRuleIfRequired() : DependencyGraph
• createComponentGraph() : CreateComponentGraphState , ProgramCtx , State
• CreateComponentGraphState() : CreateComponentGraphState
• createConstant() : ComfortTerm
• createConverter() : PluginInterface
• createConverters() : PluginInterface
• createDelegate() : ASPSolverManager::SoftwareConfigurationBase , ASPSolverManager::SoftwareConfiguration< SoftwareT >
• createDependencies() : DependencyGraph
• createDependencyGraph() : LiberalSafetyChecker , ProgramCtx , State , CreateDependencyGraphState
• CreateDependencyGraphState() : CreateDependencyGraphState
• createEAMasks() : AnnotatedGroundProgram
• createEatomGuessingRule() : FLPModelGeneratorFactoryBase
• createEatomGuessingRules() : FLPModelGeneratorFactoryBase
• createEvalGraph() : CreateEvalGraphState , ProgramCtx , State
• CreateEvalGraphState() : CreateEvalGraphState
• createEvalUnit() : DumpingEvalGraphBuilder , EvalGraphBuilder
• createExternalPredicateInputDependencies() : DependencyGraph
• createExternalPredicateInputDependenciesForInput() : DependencyGraph
• createFLPRules() : FLPModelGeneratorFactoryBase
• createFoundingRules() : FLPModelGeneratorBase
• createGrammarModule() : HexParserModule
• createGroundAtom() : BaseTopology
• createHeadBodyUnifyingDependencies() : DependencyGraph
• createHeadHeadUnifyingDependencies() : DependencyGraph
• createHeuristics() : ExternalAtomEvaluationHeuristicsAlwaysFactory , ExternalAtomEvaluationHeuristicsEACompleteFactory , UnfoundedSetCheckHeuristicsMaxFactory , UnfoundedSetCheckHeuristicsFactory , ExternalAtomEvaluationHeuristicsNeverFactory , TestSetMinusAtom::EAHeuristicsFactory , ExternalAtomEvaluationHeuristicsInputCompleteFactory , UnfoundedSetCheckHeuristicsPeriodicFactory , UnfoundedSetCheckHeuristicsPostFactory , ExternalAtomEvaluationHeuristicsFactory , ExternalAtomEvaluationHeuristicsPeriodicFactory
• createIModelFromPredecessorOModels() : OnlineModelBuilder< EvalGraphT >
• createInteger() : ComfortTerm
• createLibraryModule() : LineTopology , RingTopology , TreeTopology , DiamondTopology , StarTopology , BaseTopology , RandomTopology
• createLiteral() : NogoodContainer
• createMainModule() : LineTopology , BaseTopology , TreeTopology , RandomTopology , StarTopology , DiamondTopology , RingTopology
• createMinimalityRules() : FLPModelGeneratorBase
• createModelGenerator() : PlainModelGeneratorFactory , GenuinePlainModelGeneratorFactory , GuessAndCheckModelGeneratorFactory , GenuineWellfoundedModelGeneratorFactory , ModelGeneratorFactoryBase< InterpretationT > , WellfoundedModelGeneratorFactory , GenuineGuessAndCheckModelGeneratorFactory , TestModelGeneratorFactory
• 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() : StrongNegationPlugin , FunctionPlugin , ChoicePlugin , ManualEvalHeuristicsPlugin , ConditionalLiteralPlugin , PluginInterface , QueryPlugin , HigherOrderPlugin
• createPreconditionsAndLocationIndices() : LiberalSafetyChecker
• createProgramMask() : AnnotatedGroundProgram
• createRewriter() : HigherOrderPlugin , WeakConstraintPlugin , StrongNegationPlugin , QueryPlugin , PluginInterface , ManualEvalHeuristicsPlugin , AggregatePlugin , FunctionPlugin
• createShiftedProgram() : InternalGroundASPSolver
• createSingularLoopNogoods() : InternalGroundASPSolver
• createUnifyingDependencies() : DependencyGraph
• createVariable() : ComfortTerm
• CSVAnswerSetPrinterCallback() : CSVAnswerSetPrinterCallback
• CtxData() : TestPlugin::CtxData , ConditionalLiteralPlugin::CtxData , AggregatePlugin::CtxData , FunctionPlugin::CtxData , StrongNegationPlugin::CtxData , HigherOrderPlugin::CtxData , QueryPlugin::CtxData , ChoicePlugin::CtxData , ManualEvalHeuristicsPlugin::CtxData , WeakConstraintPlugin::CtxData
• Current() : benchmark::nestingAware::NestingAwareController::Current