Here is a list of all variables with links to the classes they belong to:
- b -
- b : bz2file, cloudCacheEntry2, cloudCacheEntry3
- b_rst : satoko_opts
- back : inflate_state
- backbone : CaDiCaL::Sweeper, sweeper
- backbone0 : flags
- backbone1 : flags
- backtracks : CaDiCaL::Stats
- backward : CaDiCaL::Eliminator, CaDiCaL::Stats
- bads : saucy_stats
- base : DState
- base_sat_timeout : eSLIM::eSLIMConfig
- bBad : Llb_Mnx_t_
- bCareSupp : Bbr_ImageTree_t_, Extra_ImageTree_t_
- bCube : Bbr_ImageNode_t_, Bbr_ImageTree2_t_, Extra_ImageNode_t_, Extra_ImageTree2_t_
- bCurrent : Llb_Mnx_t_
- Beg : Amap_Pair_t_, Scl_Pair_t_, Wlc_Obj_t_
- begin : Gluco2::DoubleRange, Gluco2::Int64Range, Gluco2::IntRange, Gluco::DoubleRange, Gluco::Int64Range, Gluco::IntRange, Minisat::DoubleRange, Minisat::Int64Range, Minisat::IntRange, unsigned_fifo
- begin_clause : CaDiCaL::Wrapper
- begin_inclusive : Gluco2::DoubleRange, Gluco::DoubleRange, Minisat::DoubleRange
- Best : Amap_Obj_t_
- best : CaDiCaL::Phases, CaDiCaL::Stats, cdata_struct, phases
- best_assigned : CaDiCaL::Internal, kissat
- BestDelay : SC_Man_, SC_Time_
- beta : CaDiCaL::EMA, smooth
- bFunc : Bbr_ImagePart_t_, Extra_ImagePart_t_, Llb_Prt_t_
- bi_buf : internal_state
- bi_valid : internal_state
- biased : CaDiCaL::EMA, smooth
- bid : CaDiCaL::Quotient
- big : CaDiCaL::Internal
- bigbig : classification
- bImage : Bbr_ImageNode_t_, Bbr_ImageTree2_t_, Extra_ImageNode_t_, Extra_ImageTree2_t_
- binaries : CaDiCaL::Closure, CaDiCaL::Stats, CaDiCaL::Sweeper, closure
- binary : assigned, binary_tagged_literal, binary_tagged_reference, katch, sat_solver3_t, sat_solver_t, tagged, watch
- binary_mask : cube_struct
- BinMask : Dtt_Man_t_
- bins : st__table, stmm_table
- bits : code, EpTypeUnion, inflate_state
- bitsCache : cloudManager
- bitsNode : cloudManager
- bitwidthOutgold : Cec_ParSimGen_t_
- bl_count : internal_state
- bl_desc : internal_state
- bl_tree : internal_state
- blit : CaDiCaL::CheckerWatch, CaDiCaL::sweep_blocked_clause, CaDiCaL::Sweeper, CaDiCaL::Watch, katch
- block : CaDiCaL::Flags, CaDiCaL::Stats, EState
- block_start : internal_state
- blockable : CaDiCaL::Flags, CaDiCaL::Sweeper
- blockcands : CaDiCaL::Stats
- blockCRC : EState
- blocked : CaDiCaL::Stats
- blocked_clauses : CaDiCaL::Sweeper
- Blocker : xSAT_Watcher_t_
- blocker : Gluco2::Solver::Watcher, Gluco::Solver::Watcher, Minisat::Solver::Watcher, watcher
- blocking : extension, watch
- blockings : CaDiCaL::Stats
- blockNo : EState
- blockpured : CaDiCaL::Stats
- blockpurelits : CaDiCaL::Stats
- blockRandomised : DState
- blockres : CaDiCaL::Stats
- blockSize100k : DState, EState
- bNext : Llb_Mnx_t_
- Body : Amap_Item_t_, Scl_Item_t_
- book_cdb : solver_t_
- book_cl_lrnt : solver_t_
- book_cl_orig : solver_t_
- book_trail : solver_t_
- book_vars : solver_t_
- BookMarkE : Sat_Mem_t_
- BookMarkH : Sat_Mem_t_
- bound : CaDiCaL::Factoring, factoring
- bounds : kissat
- Box : Cut_Cell_t_
- bParts : Bbr_ImageVar_t_, Extra_ImageVar_t_
- bq_lbd : solver_t_
- bq_trail : solver_t_
- bqLBD : xSAT_Solver_t_
- bqTrail : xSAT_Solver_t_
- bReached : Llb_Mnx_t_
- bRel : Bbr_ImageTree2_t_, Extra_ImageTree2_t_
- bRelation : LUT
- broken : CaDiCaL::Stats, CaDiCaL::Walker
- bsBuff : DState, EState
- bsLive : DState, EState
- bSpecInv : Ses_Man_t_
- bSum : traventry
- bSupp : Bbr_ImagePart_t_, Extra_ImagePart_t_
- BSVars : Lpk_Res_t_
- btab : CaDiCaL::Internal
- bucket : saucy
- buf : buflist, bz2file, bzFile
- BuffTreeEst : SC_SizePars_
- bufN : bzFile
- bump_used : CaDiCaL::Stats
- bumped : CaDiCaL::Queue, CaDiCaL::Stats
- bumpreasons : CaDiCaL::Delay, delays
- bwdsub_assigns : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- bwdsub_tmpunit : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- bX : Dsd_Entry_t_
- bypass : CaDiCaL::Delay
- BypassFreq : SC_SizePars_
- bytes : CaDiCaL::Stats, file
- BZ_RAND_DECLS : DState, EState
- bzalloc : bz_stream
- bzfree : bz_stream
