Here is a list of all struct and union fields with links to the structures/unions they belong to:

- u -

• ub : DdGen
• uCanon0 : Cut_CutStruct_t_
• uCanon1 : Cut_CutStruct_t_
• uCanonPhase : If_Man_t_
• uCanons : Map_ManStruct_t_
• uCare : Mfs_Man_t_
• uCofs : Abc_ManScl_t_
• uComplMask : Mpm_Man_t_
• uConstMask : Dau_Dsd_t_
• uData : Fpga_NodeStruct_t_ , Min_Cube_t_ , Odc_Obj_t_
• uFinal : Cut_CMan_t_
• uHash : Ivy_Cut_t_
• uHashD : Fraig_NodeStruct_t_
• uHashR : Fraig_NodeStruct_t_
• uInputs : Cut_CMan_t_
• uLearnedMask : Sat_Mem_t_
• uMask : Extra_BitMat_t_ , Map_SuperLibStruct_t_ , Mmr_Step_t_ , Odc_Obj_t_
• uMaskBit : Super2_LibStruct_t_
• uMaskFunc : If_Cut_t_
• uncheckedEnqueue() : Minisat::Solver
• undifflev : saucy
• undiffnons : saucy
• unfold2_type_I : Aig_Man_t_
• unfold2_type_II : Aig_Man_t_
• unit_cap_fst : SC_Lib_
• unit_cap_snd : SC_Lib_
• unit_lits : sat_solver_t
• Unit_Size : Minisat::RegionAllocator< T >
• unit_time : SC_Lib_
• units : sat_solver2_t
• univ : DdManager
• unlab : coloring
• unpairs : saucy
• unseqToSeq : EState
• unsupp : saucy , SC_Cell_
• Unused : Amap_Nod_t_
• unused : Lpk_Cut_t_
• unzftab : DState
• uPageMask : Sat_Mem_t_ , Vec_Set_t_
• uPatCol : Sym_Man_t_
• uPatRand : Sym_Man_t_
• uPatRow : Sym_Man_t_
• update() : Minisat::Heap< Comp >
• updateElimHeap() : Minisat::SimpSolver
• uPermMask : Mpm_Man_t_
• uPhase : Map_HashEntryStruct_t_ , Map_MatchStruct_t_
• uPhaseBest : Map_MatchStruct_t_
• uPhases : Map_ManStruct_t_ , Map_SuperStruct_t_
• uRDiff0 : Unr_Obj_t_
• uRDiff1 : Unr_Obj_t_
• use_asymm : Minisat::SimpSolver
• use_elim : Minisat::SimpSolver
• use_rcheck : Minisat::SimpSolver
• use_simplification : Minisat::SimpSolver
• Useless : Nf_Cut_t_
• user_word : sm_col_struct , sm_element_struct , sm_matrix_struct , sm_row_struct
• uSharedMask : If_Man_t_
• uSign : Aig_Cut_t_ , Aig_Dom_t_ , Csw_Cut_t_ , Cut_CutStruct_t_ , Dar_Cut_t_ , Fpga_CutStruct_t_ , If_Cut_t_ , Lpk_Cut_t_ , Mpm_Uni_t_
• uSimInfo : Gli_Obj_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 : Abc_ManScl_t_ , Cut_Cell_t_ , Dar_Cut_t_ , Gli_Obj_t_ , Map_CutStruct_t_ , Map_HashEntryStruct_t_ , Map_SuperStruct_t_ , Mio_Cell_t_ , Mio_GateStruct_t_ , Mpm_Dsd_t_ , Npn_Obj_t_ , Pr_Cls_t_ , Rwr_Node_t_ , Rwt_Node_t_ , Sdm_Dsd_t_ , Super2_GateStruct_t_ , Super_GateStruct_t_
• uTruths : Map_ManStruct_t_ , Map_SuperLibStruct_t_
• uTruthsLarge : Map_ManStruct_t_
• uUniq : Bdc_Isf_t_
• uVars : Abc_ManScl_t_