souffle
2.0.2-371-g6315b36
- a -
a :
souffle::range< Iter >
a_blocks :
souffle::DisjointSet
access :
souffle::SymbolTable
additionalMessages :
souffle::Diagnostic
adornedClauses :
souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer
aggregatorType :
souffle::ast::analysis::TypeAnalysis
aggrScopeCount :
souffle::ast::analysis::NormalisedClause
alive :
souffle::profile::Tui
all :
souffle::ast::analysis::TypeSet
allocatedDataContainer :
souffle::interpreter::Context
allocsize :
souffle::PiggyList< T >
allRelations :
souffle::SouffleProgram
analyses :
souffle::ast::TranslationUnit
,
souffle::ram::TranslationUnit
analysisLogs :
souffle::ast::analysis::TypeAnalysis
annotatedClauses :
souffle::ast::analysis::TypeAnalysis
aptr :
souffle::SparseArray< T, BITS, merge_op, copy_op >::Cell
arg_generator_locations :
souffle::ast2ram::ValueIndex
args :
souffle::ast::Term
,
souffle::interpreter::Context
,
souffle::profile::Cli
,
souffle::ram::NestedIntrinsicOperator
argsTypes :
souffle::ast::FunctorDeclaration
,
souffle::ram::UserDefinedOperator
argument :
souffle::MainOption
arguments :
souffle::ast::Atom
,
souffle::ram::AbstractOperator
,
souffle::ram::PackRecord
argumentTypes :
souffle::ast::analysis::TypeAnalysis
Arity :
souffle::interpreter::Index< _Arity, Structure >
,
souffle::interpreter::Index< 0, Structure >
,
souffle::interpreter::Relation< _Arity, Structure >
arity :
souffle::interpreter::RelationWrapper
,
souffle::ram::Relation
,
souffle::ram::UnpackRecord
,
souffle::RecordMap
Arity :
souffle::RelationWrapper< RelType >
arity :
souffle::SerialisationStream< readOnlyTables >
Arity :
souffle::t_info< Arity_ >
,
souffle::t_nullaries
array :
souffle::tuple
assignment :
souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
atom :
souffle::ast::Negation
,
souffle::RuleBody::literal
atoms :
souffle::profile::Rule
attributeNames :
souffle::ram::Relation
attributes :
souffle::ast::Relation
attributeTypes :
souffle::ram::Relation
attrNames :
souffle::interpreter::RelInterface
,
souffle::RelationWrapper< RelType >
attrTypes :
souffle::RelationWrapper< RelType >
auxArityAnalysis :
souffle::ast2ram::AstToRamTranslator
auxiliaryArity :
souffle::interpreter::Relation< _Arity, Structure >
,
souffle::interpreter::RelationWrapper
,
souffle::ram::Relation
,
souffle::SerialisationStream< readOnlyTables >
avalue :
souffle::SparseArray< T, BITS, merge_op, copy_op >::Cell
Generated by
1.8.17