souffle
2.0.2-371-g6315b36
Main Page
Namespaces
Namespace List
Namespace Members
All
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
r
s
t
u
v
w
y
Functions
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
r
s
t
u
v
w
Variables
a
c
d
e
f
h
i
j
m
n
p
r
s
t
Typedefs
a
b
c
e
f
i
l
m
n
o
p
r
s
t
u
v
y
Enumerations
Enumerator
Data Structures
Data Structures
Class Hierarchy
Data Fields
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
~
Functions
_
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
q
r
s
t
u
v
w
~
Variables
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
Typedefs
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
r
s
t
v
Enumerations
Enumerator
Related Functions
d
e
f
j
o
p
q
s
t
v
Files
File List
Globals
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
y
Functions
c
e
f
g
h
i
m
n
o
q
r
s
t
u
v
y
Variables
_
b
c
d
e
f
h
i
j
k
l
m
n
o
p
q
r
s
t
v
y
Typedefs
Macros
_
a
b
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
y
- t -
t_info() :
souffle::t_info< Arity_ >
t_nullaries() :
souffle::t_nullaries
tabComplete() :
souffle::profile::InputReader
Table() :
souffle::profile::Table
,
souffle::Table< T, blockSize >
TempFileStream() :
souffle::TempFileStream
Term() :
souffle::ast::Term
test() :
souffle::SparseBitMap< BITS >
test_result() :
TestCase::test_result
TestAutoIndex() :
souffle::ram::TestAutoIndex
TestCase() :
TestCase
TestMaxMatching() :
souffle::ram::analysis::test::TestMaxMatching
TextProcessor() :
souffle::profile::TextProcessor
throwError() :
souffle::ReadStreamSQLite
,
souffle::WriteStreamSQLite
TIME() :
souffle::profile::DataComparator
tNonrecursiveRelation() :
souffle::LogStatement
tNonrecursiveRule() :
souffle::LogStatement
toClauseBodies() :
souffle::RuleBody
toDense() :
souffle::SparseDisjointSet< SparseDomain >
toInt() :
tinyformat::detail::FormatArg
toIntImpl() :
tinyformat::detail::FormatArg
toMask() :
souffle::SparseBitMap< BITS >
TopologicallySortedSCCGraphAnalysis() :
souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
topologicalOrderingCost() :
souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
toSparse() :
souffle::SparseDisjointSet< SparseDomain >
toString() :
souffle::ast::QualifiedName
,
souffle::profile::Cell< double >
,
souffle::profile::Cell< long >
,
souffle::profile::Cell< std::chrono::microseconds >
,
souffle::profile::Cell< void >
,
souffle::profile::CellInterface
,
souffle::profile::Iteration
,
souffle::profile::ProgramRun
,
souffle::profile::Relation
,
souffle::profile::Rule
transform() :
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::LabelDatabaseTransformer::NegativeLabellingTransformer
,
souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::PositiveLabellingTransformer
,
souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
,
souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer
,
souffle::ast::transform::MagicSetTransformer
,
souffle::ast::transform::MaterializeAggregationQueriesTransformer
,
souffle::ast::transform::MaterializeSingletonAggregationTransformer
,
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::ram::transform::ChoiceConversionTransformer
,
souffle::ram::transform::CollapseFiltersTransformer
,
souffle::ram::transform::ConditionalTransformer
,
souffle::ram::transform::EliminateDuplicatesTransformer
,
souffle::ram::transform::ExpandFilterTransformer
,
souffle::ram::transform::HoistAggregateTransformer
,
souffle::ram::transform::HoistConditionsTransformer
,
souffle::ram::transform::IfConversionTransformer
,
souffle::ram::transform::IndexedInequalityTransformer
,
souffle::ram::transform::LoopTransformer
,
souffle::ram::transform::MakeIndexTransformer
,
souffle::ram::transform::ParallelTransformer
,
souffle::ram::transform::ReorderConditionsTransformer
,
souffle::ram::transform::ReorderFilterBreak
,
souffle::ram::transform::ReportIndexTransformer
,
souffle::ram::transform::Transformer
,
souffle::ram::transform::TransformerSequence
,
souffle::ram::transform::TupleIdTransformer
transformClause() :
souffle::ast::transform::FoldAnonymousRecords
TransformerSequence() :
souffle::ram::transform::TransformerSequence
transformIndexToFilter() :
souffle::ram::transform::IndexedInequalityTransformer
transformMaxHeight() :
souffle::ast::transform::ProvenanceTransformer
translateClause() :
souffle::ast2ram::ClauseTranslator
translateConstant() :
souffle::ast2ram::AstToRamTranslator
translateConstraint() :
souffle::ast2ram::AstToRamTranslator
translateDeltaRelation() :
souffle::ast2ram::AstToRamTranslator
translateNewRelation() :
souffle::ast2ram::AstToRamTranslator
translateNonRecursiveRelation() :
souffle::ast2ram::AstToRamTranslator
translateProgram() :
souffle::ast2ram::AstToRamTranslator
translateRecursiveRelation() :
souffle::ast2ram::AstToRamTranslator
translateRelation() :
souffle::ast2ram::AstToRamTranslator
translateUnit() :
souffle::ast2ram::AstToRamTranslator
translateValue() :
souffle::ast2ram::AstToRamTranslator
TranslationUnit() :
souffle::ast::TranslationUnit
,
souffle::ram::TranslationUnit
tRecursiveRelation() :
souffle::LogStatement
tRecursiveRule() :
souffle::LogStatement
TreeNode() :
souffle::TreeNode
tRelationLoadTime() :
souffle::LogStatement
tRelationSaveTime() :
souffle::LogStatement
TrieIterator() :
souffle::detail::brie::TrieIterator< Value, IterCore >
try_lock() :
souffle::Lock
,
souffle::SpinLock
try_start_write() :
souffle::OptimisticReadWriteLock
try_upgrade_to_write() :
souffle::OptimisticReadWriteLock
,
souffle::ReadWriteLock
try_write() :
souffle::ReadWriteLock
tryConvert() :
tinyformat::detail::is_convertible< T1, T2 >
tryUpdateFirstInfo() :
souffle::SparseArray< T, BITS, merge_op, copy_op >
tryUpdateRootInfo() :
souffle::SparseArray< T, BITS, merge_op, copy_op >
Tui() :
souffle::profile::Tui
TUP() :
souffle::profile::DataComparator
tuple() :
souffle::tuple
TupleElement() :
souffle::interpreter::TupleElement
,
souffle::ram::TupleElement
TupleOperation() :
souffle::ram::TupleOperation
type() :
json11::Json
,
json11::JsonValue
,
json11::Value< tag, T >
Type() :
souffle::ast::analysis::Type
,
souffle::ast::Type
TypeAnalysis() :
souffle::ast::analysis::TypeAnalysis
TypeCast() :
souffle::ast::TypeCast
TypeCheckerImpl() :
souffle::ast::transform::TypeCheckerImpl
TypeConstraintsAnalysis() :
souffle::ast::analysis::TypeConstraintsAnalysis
TypeDeclarationChecker() :
souffle::ast::transform::TypeDeclarationChecker
TypeEnvironment() :
souffle::ast::analysis::TypeEnvironment
TypeEnvironmentAnalysis() :
souffle::ast::analysis::TypeEnvironmentAnalysis
TypeSet() :
souffle::ast::analysis::TypeSet
Generated by
1.8.17