- d -

• D : PLA_t
• dActConeBumpMax : Fra_Par_t_ , Ivy_FraigParams_t_
• dActConeRatio : Fra_Par_t_ , Ivy_FraigParams_t_
• dArea : Mio_GateStruct_t_
• data : set_family , Hash_Flt_Entry_t_ , Hash_Int_Entry_t_ , Hash_Ptr_Entry_t_ , DdCache
• dClaDecay : Msat_SearchParams_t_ , Msat_Solver_t_
• dClaInc : Msat_Solver_t_
• dd : Mv_Man_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Abc_Frame_t_ , Dsd_Manager_t_ , _reo_man , Mio_LibraryStruct_t_ , Kit_DsdMan_t_
• dData : Aig_Obj_t_
• dDelayBlockFall : Mio_PinStruct_t_
• dDelayBlockMax : Mio_PinStruct_t_
• dDelayBlockRise : Mio_PinStruct_t_
• dDelayFanoutFall : Mio_PinStruct_t_
• dDelayFanoutRise : Mio_PinStruct_t_
• dDelayMax : Mio_GateStruct_t_
• dead : DdManager , DdSubtable
• deadMask : DdManager
• deadZ : DdManager
• deathRow : DdManager
• deathRowDepth : DdManager
• debug : stats_struct
• decisions : stats_t
• Delay : Ivy_Supp_t_ , If_Cut_t_
• DelayEst : Lpk_Res_t_
• DelayLimit : Fpga_ManStruct_t_
• DelayR : Ivy_Supp_t_
• DelayTarget : If_Par_t_ , Map_ManStruct_t_ , Fpga_ManStruct_t_
• distance : NodeStat
• dLoadInput : Mio_PinStruct_t_
• dLoadMax : Mio_PinStruct_t_
• dProgress : Msat_Solver_t_
• dRandSeed : Msat_Solver_t_
• dSimSatur : Fra_Par_t_ , Ivy_FraigParams_t_
• dVarDecay : Msat_SearchParams_t_ , Msat_Solver_t_
• dVarInc : Msat_Solver_t_