- g -

• g : hashEntry , Conjuncts
• G : Dsd_Node_t_
• g : DdCache
• Gain : Lpk_Cut_t_
• GainBest : Dar_Man_t_ , Ref_Man_t_
• garbageCollections : DdManager
• gcEnabled : DdManager
• gcFrac : DdManager
• GCTime : DdManager
• gen : DdGen
• Ghost : Aig_Man_t_ , Ivy_Man_t_ , Hop_Man_t_
• gimpel : stats_struct
• gimpel_count : stats_struct
• groupcheck : DdManager
• grow_factor : stmm_table , st_table