- c -

• C_T() : souffle::profile::DataComparator
• CacheAccessCounter() : souffle::CacheAccessCounter
• Call() : souffle::interpreter::Call , souffle::ram::Call
• card() : souffle::ram::analysis::MinIndexSelection
• castView() : souffle::interpreter::Relation< _Arity, Structure >
• Cell() : souffle::profile::Cell< T > , souffle::profile::Cell< double > , souffle::profile::Cell< long > , souffle::profile::Cell< std::chrono::microseconds > , souffle::profile::Cell< void >
• check() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
• checkADT() : souffle::ast::transform::TypeDeclarationChecker
• checkAggregator() : souffle::ast::transform::SemanticCheckerImpl
• checkArgument() : souffle::ast::transform::SemanticCheckerImpl
• checkAtom() : souffle::ast::transform::SemanticCheckerImpl
• checkBranchInits() : souffle::ast::transform::SemanticCheckerImpl
• checkClause() : souffle::ast::transform::SemanticCheckerImpl
• checkComplexRule() : souffle::ast::transform::SemanticCheckerImpl
• checkComponent() : souffle::ast::transform::ComponentChecker
• checkComponentInit() : souffle::ast::transform::ComponentChecker
• checkComponentNameReference() : souffle::ast::transform::ComponentChecker
• checkComponentNamespaces() : souffle::ast::transform::ComponentChecker
• checkComponentReference() : souffle::ast::transform::ComponentChecker
• checkComponents() : souffle::ast::transform::ComponentChecker
• checkConstant() : souffle::ast::transform::SemanticCheckerImpl
• checkFact() : souffle::ast::transform::SemanticCheckerImpl
• checkInlining() : souffle::ast::transform::SemanticCheckerImpl
• checkIO() : souffle::ast::transform::SemanticCheckerImpl
• checkLiteral() : souffle::ast::transform::SemanticCheckerImpl
• checkNamespaces() : souffle::ast::transform::SemanticCheckerImpl
• checkRecordType() : souffle::ast::transform::TypeDeclarationChecker
• checkRelation() : souffle::ast::transform::SemanticCheckerImpl
• checkRelationDeclaration() : souffle::ast::transform::SemanticCheckerImpl
• checkSubsetType() : souffle::ast::transform::TypeDeclarationChecker
• checkTableExists() : souffle::ReadStreamSQLite
• checkUnionType() : souffle::ast::transform::TypeDeclarationChecker
• checkWitnessProblem() : souffle::ast::transform::SemanticCheckerImpl
• Choice() : souffle::interpreter::Choice , souffle::ram::Choice
• Clause() : souffle::ast::Clause
• ClauseNormalisationAnalysis() : souffle::ast::analysis::ClauseNormalisationAnalysis
• ClauseTranslator() : souffle::ast2ram::ClauseTranslator
• clean() : souffle::SparseArray< T, BITS, merge_op, copy_op >
• cleanRelationName() : souffle::profile::Reader
• clear() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::btree_operation_hints< size > , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::DisjointSet , souffle::EquivalenceRelation< TupleType > , souffle::EquivalenceRelation< TupleType >::operation_hints , souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure > , souffle::LRUCache< T, size > , souffle::LRUCache< T, 0 > , souffle::LRUCache< T, 1 > , souffle::PiggyList< T >
• Clear() : souffle::ram::Clear
• clear() : souffle::RandomInsertPiggyList< T > , souffle::SparseArray< T, BITS, merge_op, copy_op > , souffle::SparseBitMap< BITS > , souffle::SparseDisjointSet< SparseDomain > , souffle::Table< T, blockSize > , souffle::Trie< Dim > , souffle::Trie< 1u >
• clearComponents() : souffle::ast::Program
• clearExecutionPlan() : souffle::ast::Clause
• clearHistory() : souffle::profile::InputReader
• clearPrompt() : souffle::profile::InputReader
• clearTabCompletion() : souffle::profile::InputReader
• Cli() : souffle::profile::Cli
• clique() : souffle::Graph< Vertex, Compare >
• clone() : souffle::ast::Aggregator , souffle::ast::AlgebraicDataType , souffle::ast::Argument , souffle::ast::Atom , souffle::ast::Attribute , souffle::ast::BinaryConstraint , souffle::ast::BooleanConstraint , souffle::ast::BranchDeclaration , souffle::ast::BranchInit , souffle::ast::Clause , souffle::ast::Component , souffle::ast::ComponentInit , souffle::ast::ComponentType , souffle::ast::Constant , souffle::ast::Constraint , souffle::ast::Counter , souffle::ast::Directive , souffle::ast::ExecutionOrder , souffle::ast::ExecutionPlan , souffle::ast::Functor , souffle::ast::FunctorDeclaration , souffle::ast::IntrinsicFunctor , souffle::ast::Literal , souffle::ast::Negation , souffle::ast::NilConstant , souffle::ast::Node , souffle::ast::NumericConstant , souffle::ast::Pragma , souffle::ast::Program , souffle::ast::ProvenanceNegation , souffle::ast::RecordInit , souffle::ast::RecordType , souffle::ast::Relation , souffle::ast::StringConstant , souffle::ast::SubroutineArgument , souffle::ast::SubsetType , souffle::ast::transform::AddNullariesToAtomlessAggregatesTransformer , souffle::ast::transform::ComponentChecker , souffle::ast::transform::ComponentInstantiationTransformer , souffle::ast::transform::ConditionalTransformer , souffle::ast::transform::DebugReporter , souffle::ast::transform::ExecutionPlanChecker , souffle::ast::transform::FixpointTransformer , souffle::ast::transform::FoldAnonymousRecords , souffle::ast::transform::GroundedTermsChecker , souffle::ast::transform::GroundWitnessesTransformer , souffle::ast::transform::InlineRelationsTransformer , souffle::ast::transform::IOAttributesTransformer , souffle::ast::transform::IODefaultsTransformer , souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer , souffle::ast::transform::MagicSetTransformer , souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer , souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::NegativeLabellingTransformer , souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::PositiveLabellingTransformer , souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer , souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer , souffle::ast::transform::MaterializeAggregationQueriesTransformer , souffle::ast::transform::MaterializeSingletonAggregationTransformer , souffle::ast::transform::MetaTransformer , souffle::ast::transform::MinimiseProgramTransformer , souffle::ast::transform::NameUnnamedVariablesTransformer , souffle::ast::transform::NormaliseMultiResultFunctorsTransformer , souffle::ast::transform::NullTransformer , souffle::ast::transform::PartitionBodyLiteralsTransformer , souffle::ast::transform::PipelineTransformer , souffle::ast::transform::PragmaChecker , souffle::ast::transform::ProvenanceTransformer , souffle::ast::transform::ReduceExistentialsTransformer , souffle::ast::transform::RemoveBooleanConstraintsTransformer , souffle::ast::transform::RemoveEmptyRelationsTransformer , souffle::ast::transform::RemoveRedundantRelationsTransformer , souffle::ast::transform::RemoveRedundantSumsTransformer , souffle::ast::transform::RemoveRelationCopiesTransformer , souffle::ast::transform::ReorderLiteralsTransformer , souffle::ast::transform::ReplaceSingletonVariablesTransformer , souffle::ast::transform::ResolveAliasesTransformer , souffle::ast::transform::ResolveAnonymousRecordAliasesTransformer , souffle::ast::transform::SemanticChecker , souffle::ast::transform::SimplifyAggregateTargetExpressionTransformer , souffle::ast::transform::Transformer , souffle::ast::transform::TypeChecker , souffle::ast::transform::UniqueAggregationVariablesTransformer , souffle::ast::transform::WhileTransformer , souffle::ast::Type , souffle::ast::TypeCast , souffle::ast::UnionType , souffle::ast::UnnamedVariable , souffle::ast::UserDefinedFunctor , souffle::ast::Variable , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node , souffle::interpreter::Relation< _Arity, Structure >::iterator_base , souffle::interpreter::RelationWrapper::iterator_base , souffle::interpreter::RelInterface::iterator_base , souffle::ram::AbstractConditional , souffle::ram::Aggregate , souffle::ram::AutoIncrement , souffle::ram::Break , souffle::ram::Call , souffle::ram::Choice , souffle::ram::Clear , souffle::ram::Condition , souffle::ram::Conjunction , souffle::ram::Constraint , souffle::ram::DebugInfo , souffle::ram::EmptinessCheck , souffle::ram::ExistenceCheck , souffle::ram::Exit , souffle::ram::Expression , souffle::ram::Extend , souffle::ram::False , souffle::ram::Filter , souffle::ram::FloatConstant , souffle::ram::IndexAggregate , souffle::ram::IndexChoice , souffle::ram::IndexOperation , souffle::ram::IndexScan , souffle::ram::IntrinsicOperator , souffle::ram::IO , souffle::ram::LogRelationTimer , souffle::ram::LogSize , souffle::ram::LogTimer , souffle::ram::Loop , souffle::ram::Negation , souffle::ram::NestedIntrinsicOperator , souffle::ram::NestedOperation , souffle::ram::Node , souffle::ram::Operation , souffle::ram::PackRecord , souffle::ram::Parallel , souffle::ram::ParallelAggregate , souffle::ram::ParallelChoice , souffle::ram::ParallelIndexAggregate , souffle::ram::ParallelIndexChoice , souffle::ram::ParallelIndexScan , souffle::ram::ParallelScan , souffle::ram::Program , souffle::ram::Project , souffle::ram::ProvenanceExistenceCheck , souffle::ram::Query , souffle::ram::Relation , souffle::ram::RelationOperation , souffle::ram::RelationSize , souffle::ram::Scan , souffle::ram::Sequence , souffle::ram::SignedConstant , souffle::ram::Statement , souffle::ram::SubroutineArgument , souffle::ram::SubroutineReturn , souffle::ram::Swap , souffle::ram::True , souffle::ram::TupleElement , souffle::ram::TupleOperation , souffle::ram::UndefValue , souffle::ram::UnpackRecord , souffle::ram::UnsignedConstant , souffle::ram::UserDefinedOperator , souffle::Relation::iterator_base , souffle::RelationWrapper< RelType >::iterator_wrapper , souffle::RuleBody::literal , souffle::SparseArray< T, BITS, merge_op, copy_op >
• close() : souffle::gzfstream::internal::gzfstream , souffle::gzfstream::internal::gzfstreambuf
• closure() : souffle::EquivalenceRelation< TupleType >
• CmdOptions() : souffle::CmdOptions
• collapseFilters() : souffle::ram::transform::CollapseFiltersTransformer
• collectChunks() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
• collectConstraints() : souffle::ast::analysis::ConstraintAnalysis< AnalysisVar > , souffle::ast::analysis::TypeConstraintsAnalysis
• ComplexityAnalysis() : souffle::ram::analysis::ComplexityAnalysis
• ComponentInit() : souffle::ast::ComponentInit
• ComponentLookupAnalysis() : souffle::ast::analysis::ComponentLookupAnalysis
• ComponentType() : souffle::ast::ComponentType
• CompoundNode() : souffle::interpreter::CompoundNode
• computeArity() : souffle::ast::analysis::AuxiliaryArityAnalysis
• computed() : souffle::ast::analysis::RelationScheduleAnalysisStep
• computeIndices() : souffle::synthesiser::BrieRelation , souffle::synthesiser::DirectRelation , souffle::synthesiser::EqrelRelation , souffle::synthesiser::IndirectRelation , souffle::synthesiser::InfoRelation , souffle::synthesiser::NullaryRelation , souffle::synthesiser::Relation
• computeIsRecursive() : souffle::ast::analysis::RecursiveClausesAnalysis
• computeRelationExpirySchedule() : souffle::ast::analysis::RelationScheduleAnalysis
• computeTopologicalOrdering() : souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
• ConditionalOperation() : souffle::interpreter::ConditionalOperation
• ConditionalTransformer() : souffle::ast::transform::ConditionalTransformer , souffle::ram::transform::ConditionalTransformer
• config() : souffle::Global
• ConfigProcessor() : souffle::profile::ConfigProcessor
• conjunct() : souffle::RuleBody
• Conjunction() : souffle::ram::Conjunction
• Constant() : souffle::ast::Constant , souffle::ram::Constant
• ConstantType() : souffle::ast::analysis::ConstantType
• ConstConstraint() : souffle::ConstConstraint
• Constraint() : souffle::ram::Constraint
• constraint() : souffle::RuleBody
• ConstraintAnalysisVar() : souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >
• constructPattern() : souffle::ram::transform::MakeIndexTransformer
• constructTuple() : souffle::interpreter::Relation< _Arity, Structure >
• consumeChar() : souffle::ReadStream
• consumeWhiteSpace() : souffle::ReadStream
• contains() : souffle::ast::analysis::TypeSet , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::EquivalenceRelation< TupleType > , souffle::Graph< Vertex, Compare > , souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< _Arity, Structure >::View , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Index< 0, Structure >::View , souffle::interpreter::Relation< _Arity, Structure > , souffle::interpreter::RelationWrapper , souffle::interpreter::RelInterface , souffle::Relation , souffle::RelationWrapper< RelType > , souffle::SouffleProgram , souffle::SparseDisjointSet< SparseDomain > , souffle::SymbolTable , souffle::t_info< Arity_ > , souffle::t_nullaries , souffle::Trie< Dim > , souffle::Trie< 1u >
• containsElement() : souffle::EquivalenceRelation< TupleType >
• containsEquality() : souffle::ram::analysis::SearchSignature
• containsTuple() : souffle::ExplainProvenanceImpl
• containsValidRecordConstraint() : souffle::ast::transform::FoldAnonymousRecords
• Context() : souffle::interpreter::Context
• convertIndexScans() : souffle::ram::transform::IfConversionTransformer
• convertRamIdent() : souffle::synthesiser::Synthesiser
• convertScans() : souffle::ram::transform::ChoiceConversionTransformer
• copyBaseComponents() : souffle::ast::Component
• countEntries() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
• countNodes() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
• covers() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
• coversUpperBound() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
• create() : souffle::ast::SipsMetric , souffle::interpreter::Order
• createAnnotatedClause() : souffle::ast::analysis::TypeAnalysis
• createCondition() : souffle::ast2ram::ClauseTranslator , souffle::ast2ram::ProvenanceClauseTranslator
• createContext() : souffle::t_info< Arity_ > , souffle::t_nullaries
• createId() : souffle::profile::Reader
• createID() : souffle::profile::Relation
• createMagicAtom() : souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
• createMagicClause() : souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
• createNode() : souffle::PiggyList< T >
• createOperation() : souffle::ast2ram::ClauseTranslator , souffle::ast2ram::ProvenanceClauseTranslator
• createRecID() : souffle::profile::Relation
• createRelation() : souffle::interpreter::Engine
• createRelationTable() : souffle::WriteStreamSQLite
• createRelationView() : souffle::WriteStreamSQLite
• createSymbolTable() : souffle::WriteStreamSQLite
• createTables() : souffle::WriteStreamSQLite
• createType() : souffle::ast::analysis::TypeEnvironment , souffle::ast::analysis::TypeEnvironmentAnalysis
• createValueIndex() : souffle::ast2ram::ClauseTranslator
• createView() : souffle::interpreter::Context , souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Relation< _Arity, Structure > , souffle::interpreter::RelationWrapper
• cRecursiveRelation() : souffle::LogStatement