- c -

c : OrderedSet< T, H >
cache : EAInputTupleCache
cacheMutex : PluginAtom
callbacks : BaseModelGenerator::ExternalAnswerTupleMultiCallback
candidates_count_ : bm::random_subset< BV >
caresAboutAssigned : ExtSourceProperties
caresAboutChanged : ExtSourceProperties
caus : CAUAlgorithms::AncestryMarkingVisitor< Graph >
cause : CDNLSolver
ceum : EvalGraphBuilder::UnusedVertexFilter , EvalGraphBuilder::UnusedEdgeFilter
cfg : OfflineModelBuilderTFixture< EvalGraphBaseFixtureT > , OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
cg : EvalGraphBuilder , internal::DFSVisitor , internalgreedy::DFSVisitor , ComponentGraph , EvalGraphBuilder::UnusedEdgeFilter
cgrest : EvalGraphBuilder
changed : PluginAtom::Query
changedAtoms : CDNLSolver
changedAtomsPerExternalAtom : GenuineGuessAndCheckModelGenerator
childModelsGenerated : ModelBuilder< EvalGraphT >::ModelProperties
childNodes : ExternalAtomVerificationTree::Node
choiceRuleCompatible : UnfoundedSetCheckerManager
ci : GenuineGuessAndCheckModelGeneratorFactory , GenuinePlainModelGeneratorFactory , GenuineWellfoundedModelGeneratorFactory , GuessAndCheckModelGeneratorFactory
cident : HexGrammarBase< Iterator, Skipper >
classicalAtom : HexGrammarBase< Iterator, Skipper >
classicalAtomPredicate : HexGrammarBase< Iterator, Skipper >
clonedcgptr : EvalGraphBuilder
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
compDependencies : InternalGrounder
compgraph : ProgramCtx , GenericDepGraphCompGraphFixture< ProgramCtxFixtureT >
completeNegativeSupportSets : ExtSourceProperties
completePositiveSupportSets : ExtSourceProperties
componentAtoms : AnnotatedGroundProgram::ProgramComponent , UnfoundedSetChecker
componentidx : DumpingEvalGraphBuilder
componentIsMonotonic : ComponentGraph::ComponentInfo
componentOfAtom : AnnotatedGroundProgram , InternalGroundASPSolver
compression_level_ : bm::serializer< BV >
comps : internal::DFSVisitor , internalgreedy::DFSVisitor
config : ProgramCtx
conflicts : CDNLSolver
constantSpace : ModelBuilderConfig< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
constraint : HexGrammarBase< Iterator, Skipper >
container : Table< ValueT, IndexT >
contentNames : InputProvider::Impl
context : PluginError
contradictoryNogoods : CDNLSolver
costline : DLVResultGrammar< Iterator >
count : benchmark::simple::BenchmarkController::Stat , benchmark::nestingAware::NestingAwareController::Stat
count_ : bm::blocks_manager< Alloc >::block_count_func , bm::blocks_manager< Alloc >::block_count_change_func
counter : ExternalAtomEvaluationHeuristicsPeriodic , UnfoundedSetCheckHeuristicsPeriodic
counters : CounterVerification< EvalGraphT >
ctx : TestEvalUnitPropertyBase , TestFinalCallback , TestSetMinusRuleBasedLearningAtom , ProgramMCSMedEQProgramCtxFixture , AnnotatedGroundProgram , CDNLSolver , PluginAtom::Query , DependencyGraph , EvalGraphBuilder , FLPModelGeneratorFactoryBase , ProgramMCSMedDProgramCtxFixture , GenuinePlainModelGeneratorFactory , GenuineWellfoundedModelGeneratorFactory , GuessAndCheckModelGeneratorFactory , UnfoundedSetChecker , ExternalAtomMask , UnfoundedSetCheckerManager , InternalGrounder , MLPSyntaxChecker , PlainModelGeneratorFactory , SafetyCheckerBase , GenuineGuessAndCheckModelGeneratorFactory , WellfoundedModelGeneratorFactory , FunctionInterprete , TestModelGeneratorFactory , ProgramExt1ProgramCtxFixture , HexGrammarSemantics , TestASPQueryAtom , ComponentGraph , AnswerSetPrinterCallback
ctxdata : FunctionParserModuleTermSemantics , FunctionParserModuleAtomSemantics , StrongNegationParserModuleSemantics , QueryParserModuleSemantics , ChoiceParserModuleSemantics , HigherOrderParserModuleSemantics , ConditionalParserModuleSemantics , ManualEvalHeuristicsParserModuleSemantics , FunctionRewriter
current : benchmark::nestingAware::NestingAwareController , PreparedResults , 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 : LiberalSafetyChecker , DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker