- d -

• d_iter : BiMapIter
• dag : Dag_Vertex_t
• dag_DfsClean : Dag_Manager_t
• dagManager : Rbc_Manager_t
• dat : WordNumberValue_intern
• data : QNumber , table_pair , Dag_Vertex_t
• dd : DDMgr , BddEnc , BddFsm , BddFsmCache
• dd_mgr : SimulateState
• dd_vars_hndr : BddEnc
• deadlock_states : BddFsmCache
• default_prefix : NodeAnonymizerBase
• defines : HrcNode
• den : Gmp , QNumber
• desc : TraceLoader , TracePlugin , Trace
• destroy_func : AssocAndDestroy
• destroy_group : SatIncSolver
• det_layer : BoolSexpFsm
• dfsCode : Dag_Manager_t
• diameter : BddFsmCache::BddFsmReachable_TAG
• dummy : ls_dummy
• dump_comment : HrcDumper
• dump_header : HrcDumper
• dump_node : HrcDumper
• dump_snippet : HrcDumper