- c -
- ComfortAnswer
: ComfortPluginAtom
- Component
: ComponentGraph
, EvalGraphBuilder
- ComponentEvalUnitMapping
: EvalGraphBuilder
- ComponentGraphRest
: EvalGraphBuilder
- ComponentInfo
: GenuineWellfoundedModelGeneratorFactory
, GuessAndCheckModelGeneratorFactory
, PlainModelGeneratorFactory
, WellfoundedModelGeneratorFactory
, GenuineGuessAndCheckModelGeneratorFactory
, GenuinePlainModelGeneratorFactory
- ComponentIterator
: ComponentGraph
- ComponentSet
: ComponentGraph
- ConcurrentQueueResultsImplPtr
: ASPSolver::DLVSoftware::Delegate
- Configuration
: ASPSolver::DLVSoftware
- const_iterator
: Set< T >
- const_reference
: Set< T >
, bm::bvector< Alloc >
- ConstPtr
: SATSolver
, CDNLSolver
, Interpretation
, InternalGrounder
, InternalGroundDASPSolver
, GenuineSolver
, SimpleNogoodContainer
, TestInterpretation
, UnfoundedSetChecker
, AnswerSet
, GenuineGroundSolver
, InternalGroundASPSolver
, NogoodContainer
, GenuineGrounder
- Constraint
: TestProgramCtx
- Container
: Table< ValueT, IndexT >