Here is a list of all variables with links to the classes they belong to:
- w -
- w : Rect
- w_bits : internal_state
- w_mask : internal_state
- w_size : internal_state
- wait : reluctant
- walk : CaDiCaL::Stats
- walked : kissat
- want : gz_state
- warming : kissat
- was : inflate_state
- wasted : cdb
- watch : litwatch
- Watch0 : Tas_Cls_t_, Tas_Var_t_
- Watch1 : Tas_Cls_t_, Tas_Var_t_
- watch_lists : vec_wl_t_
- watchers : watch_list
- watches : cadical_kitten, definition_extractor, Gluco2::Solver, Gluco::Solver, kissat, kitten, Minisat::Solver, solver_t_
- watchesBin : Gluco2::Solver, Gluco::Solver
- watching : kissat
- wbits : inflate_state
- weakened : CaDiCaL::Stats
- weakenedlen : CaDiCaL::Stats
- Weight : _reo_unit, Bdc_Nod_t_, FxuDouble, FxuSingle, Ivy_Eva_t_, Ivy_Eval_t_, Lpk_Cut_t_
- WeightMin : FxuDataStruct
- weights : heap_t_
- whave : inflate_state
- when_text : SC_Timing_
- width : rrr::SW
- Window : SC_SizePars_
- window : inflate_state, internal_state
- window_size : internal_state
- WireDelay : If_Par_t_
- witness : CaDiCaL::External, kissat
- witnesses : CaDiCaL::WitnessWriter
- wlists : sat_solver2_t, sat_solver3_t, sat_solver_t
- wnext : inflate_state
- wObj : Hsh_IntObjWord_t_
- WordMapArea : Jf_Par_t_
- WordMapDelay : Jf_Par_t_
- WordMapDelayTarget : Jf_Par_t_
- work : inflate_state
- workFactor : EState
- Worst : Map_TimeStruct_t_
- wrap : inflate_state, internal_state
- writing : bzFile
- wsize : inflate_state, set_family
- wtab : CaDiCaL::Internal
- ww : Ttopt::TruthTable
- wWord : Hsh_IntObjWord_t_
