souffle
2.0.2-371-g6315b36
- d -
data :
souffle::ast::analysis::Assignment< Var >
,
souffle::interpreter::Context
,
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 >::iterator_base
,
souffle::t_info< Arity_ >
,
souffle::t_nullaries
,
souffle::Table< T, blockSize >::Block
,
souffle::tuple
database :
souffle::ProfileEventSingleton
dataStructure :
souffle::synthesiser::Relation
db :
souffle::profile::Reader
,
souffle::ReadStreamSQLite
,
souffle::WriteStreamSQLite
dbFilename :
souffle::ReadStreamSQLite
,
souffle::WriteStreamSQLite
dbSymbolTable :
souffle::WriteStreamSQLite
debugReport :
souffle::ast::TranslationUnit
,
souffle::ram::TranslationUnit
delimiter :
souffle::ReadStreamCSV
,
souffle::WriteStreamCSV
denseToSparseMap :
souffle::SparseDisjointSet< SparseDomain >
depthLimit :
souffle::ExplainConfig
description :
souffle::MainOption
desiredNumKeys :
souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
diagnostics :
souffle::ErrorReport
directives :
souffle::ast::Component
,
souffle::ast::Program
,
souffle::ram::IO
dischargedMap :
souffle::ram::analysis::MinIndexSelection
distance :
souffle::ram::analysis::MaxMatching
djSetList :
souffle::EquivalenceRelation< TupleType >::iterator
djSetMapListEnd :
souffle::EquivalenceRelation< TupleType >::iterator
djSetMapListIt :
souffle::EquivalenceRelation< TupleType >::iterator
dll :
souffle::interpreter::Engine
dnf :
souffle::RuleBody
ds :
souffle::SparseDisjointSet< SparseDomain >
dummy :
souffle::interpreter::Index< 0, Structure >::iterator
,
tinyformat::detail::is_convertible< T1, T2 >::fail
,
tinyformat::detail::is_convertible< T1, T2 >::succeed
Generated by
1.8.17