souffle
2.0.2-371-g6315b36
- e -
eliminateDuplicates() :
souffle::ram::transform::EliminateDuplicatesTransformer
emitCode() :
souffle::synthesiser::Synthesiser
EmptinessCheck() :
souffle::ram::EmptinessCheck
empty() :
souffle::ast::analysis::TypeSet
,
souffle::ast::QualifiedName
,
souffle::DebugReport
,
souffle::detail::brie::TrieBase< Dim, Derived >
,
souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
,
souffle::EquivalenceRelation< TupleType >
,
souffle::interpreter::Index< _Arity, Structure >
,
souffle::interpreter::Index< 0, Structure >
,
souffle::interpreter::Relation< _Arity, Structure >
,
souffle::ram::analysis::SearchSignature
,
souffle::range< Iter >
,
souffle::SparseArray< T, BITS, merge_op, copy_op >
,
souffle::SparseBitMap< BITS >
,
souffle::t_info< Arity_ >
,
souffle::t_nullaries
,
souffle::Table< T, blockSize >
,
TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
emptyPartition() :
souffle::EquivalenceRelation< TupleType >
enableLogging() :
souffle::SignalHandler
encode() :
souffle::interpreter::Order
encodeIndexPos() :
souffle::interpreter::NodeGenerator
encodeRelation() :
souffle::interpreter::NodeGenerator
encodeView() :
souffle::interpreter::NodeGenerator
end() :
souffle::ast::analysis::Assignment< Var >
,
souffle::ast::analysis::TypeSet
,
souffle::detail::brie::TrieBase< Dim, Derived >
,
souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
,
souffle::EquivalenceRelation< TupleType >
,
souffle::interpreter::Index< _Arity, Structure >
,
souffle::interpreter::Index< 0, Structure >
,
souffle::interpreter::Relation< _Arity, Structure >
,
souffle::interpreter::RelationWrapper
,
souffle::interpreter::RelInterface
,
souffle::PiggyList< T >
,
souffle::range< Iter >
,
souffle::Relation
,
souffle::RelationWrapper< RelType >
,
souffle::reverse< A >
,
souffle::SparseArray< T, BITS, merge_op, copy_op >
,
souffle::SparseBitMap< BITS >
,
souffle::t_info< Arity_ >
,
souffle::t_nullaries
,
souffle::Table< T, blockSize >
,
TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
end_read() :
souffle::OptimisticReadWriteLock
,
souffle::ReadWriteLock
end_write() :
souffle::OptimisticReadWriteLock
,
souffle::ReadWriteLock
endSection() :
souffle::DebugReport
Engine() :
souffle::interpreter::Engine
EqrelRelation() :
souffle::synthesiser::EqrelRelation
equal() :
souffle::ast::Aggregator
,
souffle::ast::AlgebraicDataType
,
souffle::ast::Atom
,
souffle::ast::Attribute
,
souffle::ast::BinaryConstraint
,
souffle::ast::BooleanConstraint
,
souffle::ast::BranchInit
,
souffle::ast::Clause
,
souffle::ast::Component
,
souffle::ast::ComponentInit
,
souffle::ast::ComponentType
,
souffle::ast::Constant
,
souffle::ast::Directive
,
souffle::ast::ExecutionOrder
,
souffle::ast::ExecutionPlan
,
souffle::ast::FunctorDeclaration
,
souffle::ast::IntrinsicFunctor
,
souffle::ast::Negation
,
souffle::ast::Node
,
souffle::ast::NumericConstant
,
souffle::ast::Pragma
,
souffle::ast::Program
,
souffle::ast::RecordType
,
souffle::ast::Relation
,
souffle::ast::SubroutineArgument
,
souffle::ast::SubsetType
,
souffle::ast::Term
,
souffle::ast::TypeCast
,
souffle::ast::UnionType
,
souffle::ast::UserDefinedFunctor
,
souffle::ast::Variable
,
souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
,
souffle::detail::comparator< T >
,
souffle::EqrelMapComparator< StorePair >
,
souffle::interpreter::index_utils::comparator< First, Rest... >
,
souffle::interpreter::index_utils::comparator<>
,
souffle::interpreter::Relation< _Arity, Structure >::iterator_base
,
souffle::interpreter::RelationWrapper::iterator_base
,
souffle::interpreter::RelInterface::iterator_base
,
souffle::ram::AbstractAggregate
,
souffle::ram::AbstractChoice
,
souffle::ram::AbstractConditional
,
souffle::ram::AbstractExistenceCheck
,
souffle::ram::AbstractLog
,
souffle::ram::AbstractOperator
,
souffle::ram::Aggregate
,
souffle::ram::BinRelationStatement
,
souffle::ram::Call
,
souffle::ram::Choice
,
souffle::ram::Conjunction
,
souffle::ram::Constant
,
souffle::ram::Constraint
,
souffle::ram::EmptinessCheck
,
souffle::ram::Exit
,
souffle::ram::IndexAggregate
,
souffle::ram::IndexChoice
,
souffle::ram::IndexOperation
,
souffle::ram::IntrinsicOperator
,
souffle::ram::IO
,
souffle::ram::ListStatement
,
souffle::ram::LogSize
,
souffle::ram::Loop
,
souffle::ram::Negation
,
souffle::ram::NestedIntrinsicOperator
,
souffle::ram::NestedOperation
,
souffle::ram::Node
,
souffle::ram::PackRecord
,
souffle::ram::Program
,
souffle::ram::Project
,
souffle::ram::Query
,
souffle::ram::Relation
,
souffle::ram::RelationOperation
,
souffle::ram::RelationSize
,
souffle::ram::RelationStatement
,
souffle::ram::SubroutineArgument
,
souffle::ram::SubroutineReturn
,
souffle::ram::TupleElement
,
souffle::ram::TupleOperation
,
souffle::ram::UnpackRecord
,
souffle::ram::UserDefinedOperator
,
souffle::Relation::iterator_base
,
souffle::RelationWrapper< RelType >::iterator_wrapper
,
souffle::RuleBody
equals() :
json11::JsonDouble
,
json11::JsonInt
,
json11::JsonValue
,
json11::Value< tag, T >
Equivalence() :
souffle::Equivalence
EquivalenceRelation() :
souffle::EquivalenceRelation< TupleType >
error() :
souffle::ParserDriver
,
souffle::SignalHandler
ErrorReport() :
souffle::ErrorReport
escape() :
souffle::profile::EventProcessorSingleton
evalAggregate() :
souffle::interpreter::Engine
evalChoice() :
souffle::interpreter::Engine
evalExistenceCheck() :
souffle::interpreter::Engine
evalIndexAggregate() :
souffle::interpreter::Engine
evalIndexChoice() :
souffle::interpreter::Engine
evalIndexScan() :
souffle::interpreter::Engine
evalParallelAggregate() :
souffle::interpreter::Engine
evalParallelChoice() :
souffle::interpreter::Engine
evalParallelIndexAggregate() :
souffle::interpreter::Engine
evalParallelIndexChoice() :
souffle::interpreter::Engine
evalParallelIndexScan() :
souffle::interpreter::Engine
evalParallelScan() :
souffle::interpreter::Engine
evalProject() :
souffle::interpreter::Engine
evalProvenanceExistenceCheck() :
souffle::interpreter::Engine
evalScan() :
souffle::interpreter::Engine
evaluate() :
TestCase
evaluateCosts() :
souffle::ast::AllBoundSips
,
souffle::ast::DeltaInputSips
,
souffle::ast::DeltaSips
,
souffle::ast::InputSips
,
souffle::ast::LeastFreeSips
,
souffle::ast::LeastFreeVarsSips
,
souffle::ast::MaxBoundSips
,
souffle::ast::MaxRatioSips
,
souffle::ast::NaiveSips
,
souffle::ast::ProfileUseSips
,
souffle::ast::SipsMetric
,
souffle::ast::StrictSips
EventProcessorSingleton() :
souffle::profile::EventProcessorSingleton
execute() :
souffle::interpreter::Engine
executeMain() :
souffle::interpreter::Engine
executeSQL() :
souffle::ReadStreamSQLite
,
souffle::WriteStreamSQLite
executeSubroutine() :
souffle::interpreter::Engine
,
souffle::interpreter::ProgInterface
,
souffle::SouffleProgram
ExecutionOrder() :
souffle::ast::ExecutionOrder
existDir() :
souffle::CmdOptions
ExistenceCheck() :
souffle::interpreter::ExistenceCheck
,
souffle::ram::ExistenceCheck
existFile() :
souffle::CmdOptions
exists() :
souffle::interpreter::Relation< _Arity, Structure >
existsValidPermutation() :
souffle::ast::transform::MinimiseProgramTransformer
Exit() :
souffle::ram::Exit
exitIfErrors() :
souffle::ErrorReport
expandFilters() :
souffle::ram::transform::ExpandFilterTransformer
expandRecordBinaryConstraint() :
souffle::ast::transform::FoldAnonymousRecords
expired() :
souffle::ast::analysis::RelationScheduleAnalysisStep
explain() :
souffle::Explain
Explain() :
souffle::Explain
explain() :
souffle::ExplainProvenance
,
souffle::ExplainProvenanceImpl
ExplainConfig() :
souffle::ExplainConfig
explainNegation() :
souffle::ExplainProvenance
,
souffle::ExplainProvenanceImpl
explainNegationGetVariables() :
souffle::ExplainProvenance
,
souffle::ExplainProvenanceImpl
ExplainProvenance() :
souffle::ExplainProvenance
ExplainProvenanceImpl() :
souffle::ExplainProvenanceImpl
explainSubproof() :
souffle::ExplainProvenance
,
souffle::ExplainProvenanceImpl
extend() :
souffle::ast::analysis::TypeBinding
,
souffle::EquivalenceRelation< TupleType >
,
souffle::interpreter::EqrelIndex
,
souffle::interpreter::EqrelRelation
Extend() :
souffle::interpreter::Extend
,
souffle::ram::Extend
extloc() :
souffle::ast::Node
,
souffle::SrcLocation
extractIDB() :
souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer
extractRelationNameFromAtom() :
souffle::profile::Reader
Generated by
1.8.17