- u -

• uCanon0 : Cut_CutStruct_t_
• uCanon1 : Cut_CutStruct_t_
• uCanons : Map_ManStruct_t_
• uCofs : Abc_ManScl_t_
• uData : Odc_Obj_t_ , Fpga_NodeStruct_t_
• uFinal : Cut_CMan_t_
• uHash : Ivy_Cut_t_
• uHashD : Fraig_NodeStruct_t_
• uHashR : Fraig_NodeStruct_t_
• uInputs : Cut_CMan_t_
• uMask : Odc_Obj_t_ , Map_SuperLibStruct_t_ , Extra_BitMat_t_
• uMaskBit : Super2_LibStruct_t_
• univ : DdManager
• unused : Lpk_Cut_t_
• uPatCol : Sym_Man_t_
• uPatRand : Sym_Man_t_
• uPatRow : Sym_Man_t_
• uPhase : Map_MatchStruct_t_ , Map_HashEntryStruct_t_
• uPhaseBest : Map_MatchStruct_t_
• uPhases : Map_ManStruct_t_ , Map_SuperStruct_t_
• user_word : sm_element_struct , sm_row_struct , sm_col_struct , sm_matrix_struct
• uSign : Fpga_CutStruct_t_ , If_Cut_t_ , Cut_CutStruct_t_ , Lpk_Cut_t_ , Csw_Cut_t_ , Dar_Cut_t_
• uSims : Abc_ManScl_t_
• uSubset0 : Lpk_Set_t_
• uSubset1 : Lpk_Set_t_
• uSupp : Bdc_Fun_t_ , Bdc_Isf_t_ , Lpk_Fun_t_
• uTemp1 : Cut_CMan_t_
• uTemp2 : Cut_CMan_t_
• uTemp3 : Cut_CMan_t_
• uTruth : Pr_Cls_t_ , Map_HashEntryStruct_t_ , Cut_Cell_t_ , Rwr_Node_t_ , Map_CutStruct_t_ , Map_SuperStruct_t_ , Abc_ManScl_t_ , Super2_GateStruct_t_ , Dar_Cut_t_ , Super_GateStruct_t_ , Rwt_Node_t_
• uTruths : Map_SuperLibStruct_t_ , Map_ManStruct_t_
• uTruthsLarge : Map_ManStruct_t_
• uVars : Abc_ManScl_t_