Here is a list of all class members with links to the classes they belong to:

- u -

• u : reluctant
• u2i() : CaDiCaL::Internal
• 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
• unassign() : CaDiCaL::Internal
• unassigned : CaDiCaL::Queue, cadical_kitten, kissat, kitten
• uncheckedEnqueue() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• uncheckedEnqueue2() : Gluco2::Solver
• underline() : CaDiCaL::Terminal
• 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() : CaDiCaL::Internal
• unit_clauses_idx : CaDiCaL::Internal
• unit_id() : CaDiCaL::Internal
• unit_lits : sat_solver3_t, sat_solver_t
• Unit_Size : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >
• unit_time : SC_Lib_
• units : CaDiCaL::Checker, CaDiCaL::Closure, CaDiCaL::Stats, cadical_kitten, closure, kissat, kitten, sat_solver2_t
• unlab : coloring
• unlucky() : CaDiCaL::Internal
• unmark() : CaDiCaL::External, CaDiCaL::Internal
• unmark67() : CaDiCaL::Internal
• unmark_all() : CaDiCaL::Closure
• unmark_as_conditional_literal() : CaDiCaL::Internal
• unmark_binary_literals() : CaDiCaL::Internal
• unmark_block() : CaDiCaL::Internal
• unmark_clause() : CaDiCaL::Internal
• unmark_decomposed() : CaDiCaL::Internal
• unmark_gate_clauses() : CaDiCaL::Internal
• unmark_in_candidate_clause() : CaDiCaL::Internal
• unmarkfact() : CaDiCaL::Internal
• unpairs : saucy
• unphase() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• unprotect_reasons() : CaDiCaL::Internal
• unsat : CaDiCaL::Internal
• unsat_constraint : CaDiCaL::Internal
• unschedule_sweeping() : CaDiCaL::Internal
• unseqToSeq : EState
• unsetbit() : CaDiCaL::Internal
• unsimplified : CaDiCaL::Closure, closure
• unsupp : saucy, SC_Cell_
• UNUSED : CaDiCaL::Flags
• Unused : Amap_Nod_t_
• unused() : CaDiCaL::Flags, CaDiCaL::Stats, Lpk_Cut_t_
• unwatch_clause() : CaDiCaL::Internal
• unzftab : DState
• uPageMask : Sat_Mem_t_, Vec_Set_t_
• uPatCol : Sym_Man_t_
• uPatRand : Sym_Man_t_
• uPatRow : Sym_Man_t_
• Update() : Transduction::ManUtil< Man, lit, LitMax >
• update() : CaDiCaL::EMA, CaDiCaL::heap< C >, Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• update_and_gate() : CaDiCaL::Closure
• update_and_gate_build_lrat_chain() : CaDiCaL::Closure
• update_and_gate_unit_build_lrat_chain() : CaDiCaL::Closure
• update_decision_rate_average() : CaDiCaL::Internal
• update_factor_candidate() : CaDiCaL::Internal
• update_factored() : CaDiCaL::Internal
• update_molten_literals() : CaDiCaL::External
• update_queue_unassigned() : CaDiCaL::Internal
• update_reason_references() : CaDiCaL::Internal
• update_target_and_best() : CaDiCaL::Internal
• update_xor_gate() : CaDiCaL::Closure
• updateElimHeap() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• updateJustActivity() : Gluco2::Solver
• 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
• usage() : CaDiCaL::Config, CaDiCaL::Options, CaDiCaL::Solver
• 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_scores() : CaDiCaL::Internal
• use_simplification : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• UseComplementedEdges() : rrr::AndNetwork
• 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_