Here is a list of all variables with links to the classes they belong to:
- a -
- a : cloudCacheEntry1, cloudCacheEntry2, cloudCacheEntry3, cube
- aArea : Cnf_Man_t_
- abs : Gluco2::Clause, Gluco::Clause, Minisat::Clause
- accJscanSat : CbsP_Par_t_
- accJscanUndec : CbsP_Par_t_
- accJscanUnsat : CbsP_Par_t_
- accPropSat : CbsP_Par_t_
- accPropUndec : CbsP_Par_t_
- accPropUnsat : CbsP_Par_t_
- accRscanSat : CbsP_Par_t_
- accRscanUndec : CbsP_Par_t_
- accRscanUnsat : CbsP_Par_t_
- Act : xSAT_Clause_t_
- act : clause, Gluco2::Clause, Gluco::Clause, Minisat::Clause
- act_clas : sat_solver2_t, sat_solver3_t, sat_solver_t
- act_vars : sat_solver3_t, sat_solver_t
- active : CaDiCaL::Stats, flags, kissat
- active_count : set_family
- activity : Gluco2::Solver, Gluco2::Solver::VarOrderLt, Gluco::Solver, Gluco::Solver::VarOrderLt, Minisat::Solver, Minisat::Solver::VarOrderLt, sat_solver2_t, sat_solver3_t, sat_solver_t, sim_result, solver_t_
- activity2 : sat_solver2_t, sat_solver3_t, sat_solver_t
- activityInc : saucy
- adaRecycle : Cec5_Man_t_
- add_tmp : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- added : CaDiCaL::Checker, CaDiCaL::Coveror, CaDiCaL::Flags, CaDiCaL::LratChecker, CaDiCaL::Stats
- additional_clauses : bounds
- adj : saucy, saucy_graph
- adler : z_stream_s
- aEstFanouts : Fpga_NodeStruct_t_
- aFlow : Fpga_CutStruct_t_
- aHistory : Abc_Frame_t_
- alas : CaDiCaL::Coveror
- Algo : Bmc_ParFf_t_, Gia_ParAbs_t_
- all : CaDiCaL::Stats
- all_clauses : solver_t_
- allocated : factoring, unsigned_fifo
- allow_xors : eSLIM::eSLIMConfig
- alpha : CaDiCaL::EMA, smooth
- analyze_stack : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- analyze_toclear : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- analyzed : assigned, CaDiCaL::Internal, cadical_kitten, kissat, kitten
- anc : saucy
- anctar : saucy
- And2Delay : Gia_Man_t_
- AndGateDelay : Abc_Ntk_t_
- ands : CaDiCaL::Stats
- antecedent_size : kissat
- antecedents : cadical_kitten, kissat, kitten
- apply_inprocessing : eSLIM_ParamStruct_
- apply_strash : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
- approx : SC_Surface_
- approxLim : Cec5_Man_t_
- are_reasons_forgettable : CaDiCaL::ExternalPropagator
- Area : Amap_Mat_t_, If_Cut_t_, Jf_Par_t_, Map_SuperStruct_t_, Mio_Cell_t_, Pf_Obj_t_, Sfm_Fun_t_, Super_GateStruct_t_
- area : qps_problem, SC_Cell_
- AreaBase : Map_ManStruct_t_
- AreaBuf : Map_SuperLibStruct_t_
- AreaEst : Lpk_Res_t_
- AreaF : Mio_Cell2_t_
- AreaFinal : Map_ManStruct_t_
- AreaFlow : Map_MatchStruct_t_
- AreaGlo : If_Man_t_
- areaI : SC_Cell_
- AreaInv : Map_SuperLibStruct_t_, Sfm_Dec_t_
- AreaLimit : Fpga_ManStruct_t_
- AreaMffc : Sfm_Dec_t_
- AreaW : Mio_Cell2_t_
- arena : CaDiCaL::Internal, kissat
- Arg0 : Abc_ZddEnt_
- Arg1 : _HashEntry_cof, _HashEntry_mint, _reo_hash, Abc_ZddEnt_
- Arg2 : _HashEntry_mint, _reo_hash, Abc_ZddEnt_
- Arg3 : _reo_hash
- argc : MvAlias
- argv : MvAlias
- arity : gate
- arr1 : EState
- arr2 : EState
- Array : Wln_Vec_t_
- assigned : kissat
- assigns : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t, solver_t_
- assumed : CaDiCaL::Flags
- assumptionPositions : Gluco2::Solver, Gluco::Solver
- assumptions : CaDiCaL::Checker, CaDiCaL::External, CaDiCaL::Internal, cadical_kitten, Gluco2::Solver, Gluco::Solver, kitten, Minisat::Solver, solver_t_
- assumptionsreused : CaDiCaL::Stats
- asymm_lits : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- asymmetric : CaDiCaL::Stats
- asynch_interrupt : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- ATimeIn : Kit_ManDec_t_
- ATimeOut : Kit_ManDec_t_
- attrAntecedents : antecedentConsequentVectorsStruct
- attrCandMonotone : monotoneVectorsStruct
- attrConsequentCandidates : antecedentConsequentVectorsStruct
- attrHintMonotone : monotoneVectorsStruct
- attrHintSingalBeginningMarker : aigPoIndices
- attrHintSingalEndMarker : aigPoIndices
- attrKnownMonotone : monotoneVectorsStruct
- attrPendingSignalIndex : aigPoIndices
- attrSafetyInvarIndex : aigPoIndices
- aux : klause
- avail_in : bz_stream, z_stream_s
- avail_in_expect : EState
- avail_out : bz_stream, z_stream_s
- AveFan : Amap_Mat_t_
- averages : CaDiCaL::Internal, kissat
