Here is a list of all variables with links to the classes they belong to:
- u -
- u : reluctant
- uCanon0 : Cut_CutStruct_t_
- uCanon1 : Cut_CutStruct_t_
- uCanonPhase : If_Man_t_
- uCanons : Map_ManStruct_t_
- uCare : Mfs_Man_t_
- uCareSet : Sfm_Dec_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_
- ui64 : ui64_dbl
- 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_
- unaries : CaDiCaL::Stats
- unary_and : CaDiCaL::Stats
- unary_ites : CaDiCaL::Stats
- unassigned : CaDiCaL::Queue, cadical_kitten, kissat, kitten
- undifflev : saucy
- undiffnons : saucy
- unflushed : kissat
- unfold2_type_I : Aig_Man_t_
- unfold2_type_II : Aig_Man_t_
- UniqueDensity : NewBdd::Param, rrr::NewBdd::Param
- unit : CaDiCaL::definition_extractor
- unit_analyzed : CaDiCaL::Internal
- unit_cap_fst : SC_Lib_
- unit_cap_snd : SC_Lib_
- unit_chain : CaDiCaL::Internal
- unit_clauses_idx : CaDiCaL::Internal
- unit_lits : sat_solver3_t, sat_solver_t
- unit_time : SC_Lib_
- units : CaDiCaL::Checker, CaDiCaL::Closure, CaDiCaL::Stats, cadical_kitten, closure, kissat, kitten, sat_solver2_t
- unlab : coloring
- unpairs : saucy
- unsat : CaDiCaL::Internal
- unsat_constraint : CaDiCaL::Internal
- unseqToSeq : EState
- unsimplified : CaDiCaL::Closure, closure
- unsupp : saucy, SC_Cell_
- Unused : Amap_Nod_t_
- unused : CaDiCaL::Stats, Lpk_Cut_t_
- unzftab : DState
- uPageMask : Sat_Mem_t_, Vec_Set_t_
- uPatCol : Sym_Man_t_
- uPatRand : Sym_Man_t_
- uPatRow : Sym_Man_t_
- uPermMask : Mpm_Man_t_
- uPhase : Abc_TgMan_t_, 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_
- usable : vectors
- use_asymm : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- use_elim : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- use_first : acd::ac_decomposition_params
- use_rcheck : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- use_simplification : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- used : CaDiCaL::Clause, CaDiCaL::LratCheckerClause, CaDiCaL::Stats, clause, frame, statistics
- Useless : Nf_Cut_t_, Pf_Cut_t_
- user_lits : Gluco2::Solver, Gluco::Solver
- user_values : sat_solver_t
- user_vars : sat_solver_t
- user_vec : Gluco2::Solver, Gluco::Solver
- 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_, Map_CutStruct_t_, Map_HashEntryStruct_t_, Map_SuperStruct_t_, Mio_Cell2_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_
