- v -

• v1 : TlClause
• v2 : TlClause
• v_list : graph_struct_int
• va : assoc_list_
• value : DdLocalCacheItem , DdHashItem , avl_node_struct , hack , EpTypeUnion , DdNode , DdGen
• values : mvar_type
• var_list : mdd_gen
• varAssociation : CalAssociationStruct
• varBdds : Cal_BddManagerStruct
• varHandled : DdSubtable
• variables : bdd_manager_
• vars : bdd_manager_ , DdManager , DdTlcInfo
• varToBeGrouped : DdSubtable
• varType : DdSubtable
• visited : CalBddGenStruct , cmu_bdd_gen