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

- d -

• d : dDNNFTreeDecompositionBuilder, MMappedVector< T >::data_t, StructuredDNNFBuilder::CacheKey
• dangling_indices : MMappedCircuit::Check
• 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
• declined : bool_exists_ctx, cume_dist_ctx, rank_window_ctx
• DEFAULT_MAX_STATES : ReachabilityCompiler, UCQJointCompiler
• delta : provsql::Tolerance
• dependencies : provsql::ToolRecord
• depth : aggregation_type_mutator_context, count_cte_refs_ctx, dDNNF::Stats, FlatAtomOrigin, moved_vars_ctx, outer_refs_ctx, pull_up_vars_deep_ctx, reads_outside_ctx
• desc : DotCircuit
• direct : sublink_classify_ctx
• disjuncts : UCQ
• dist : provsql::ClosureTerm
• dnf_computed_ : provsql::EvalContext
• dnf_num_clauses_ : provsql::EvalContext
• dnf_ok_ : provsql::EvalContext
• dst : ReachabilityCompiler::EdgeRow