Here is a list of all variables with links to the classes they belong to:

- d -

• d : dDNNFTreeDecompositionBuilder, MMappedVector< T >::data_t, StructuredDNNFBuilder::CacheKey
• data : MMappedVector< T >, pg_uuid_t
• data_treewidth : ReachabilityCompiler::Stats
• data_treewidth_lb : JointEncoding, UCQJointCompiler::Stats
• database : database_constants_t
• dd : ReachabilityCompiler::AllHopsResult, ReachabilityCompiler::AllResult, ReachabilityCompiler::AnyReachAllResult, ReachabilityCompiler::Result, UCQJointCompiler::AnswerCircuit, UCQJointCompiler::Result
• dd_ : StructuredDNNFBuilder
• dd_size : UCQJointCompiler::Stats
• dDNNFTreeDecompositionBuilder : dDNNF
• DEFAULT_MAX_STATES : ReachabilityCompiler, UCQJointCompiler
• delta : provsql::Tolerance
• dependencies : provsql::ToolRecord
• depth : dDNNF::Stats, FlatAtomOrigin
• desc : DotCircuit
• direct : sublink_classify_ctx
• disjuncts : UCQ
• dnf_computed_ : provsql::EvalContext
• dnf_num_clauses_ : provsql::EvalContext
• dnf_ok_ : provsql::EvalContext
• dst : ReachabilityCompiler::EdgeRow