Here is a list of all variables with links to the classes they belong to:
- e -
- e : cloudNode, Kit_Mux_t_, saucy_graph
- e2i : CaDiCaL::External
- e_dist : Flow_Data_t_
- eager_representant : CaDiCaL::Closure
- eager_representant_id : CaDiCaL::Closure
- eagersub : CaDiCaL::Stats
- eagertried : CaDiCaL::Stats
- echeck_call : CaDiCaL::Stats
- eclause : CaDiCaL::External, cadical_kitten, kitten
- edg : saucy, saucy_graph
- Edge : If_Cut_t_, Jf_Par_t_, Str_Mux_t_
- edge_weight : qps_problem
- eEdge0 : Dec_Node_t_, Kit_Node_t_
- eEdge1 : Dec_Node_t_, Kit_Node_t_
- elder : MtrNode
- elearn_call : CaDiCaL::Stats
- elearn_conf : CaDiCaL::Stats
- elearn_prop : CaDiCaL::Stats
- elearned : CaDiCaL::Stats
- ElemGates : Bac_Man_t_
- elems : static_tree_desc_s
- elim : CaDiCaL::Flags, CaDiCaL::Last, CaDiCaL::Limit, CaDiCaL::Stats
- elim_heap : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- elimands : CaDiCaL::Stats
- elimbound : CaDiCaL::Limit
- elimbwstr : CaDiCaL::Stats
- elimbwsub : CaDiCaL::Stats
- elimclauses : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- elimcompleted : CaDiCaL::Stats
- elimequivs : CaDiCaL::Stats
- elimfastphases : CaDiCaL::Stats
- elimfastrounds : CaDiCaL::Stats
- elimgates : CaDiCaL::Stats
- eliminate : bounds, enabled, flags, limits, remember
- eliminated : CaDiCaL::Stats, flags, Gluco2::SimpSolver, Gluco::SimpSolver, import, kissat, Minisat::SimpSolver
- eliminated_and : CaDiCaL::Stats
- eliminated_clauses : Gluco2::SimpSolver, Gluco::SimpSolver
- eliminated_def : CaDiCaL::Stats
- eliminated_equi : CaDiCaL::Stats
- eliminated_ite : CaDiCaL::Stats
- eliminated_vars : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- eliminated_xor : CaDiCaL::Stats
- eliminator : CaDiCaL::definition_extractor
- elimites : CaDiCaL::Stats
- elimorder : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- elimotfstr : CaDiCaL::Stats
- elimotfsub : CaDiCaL::Stats
- elimphases : CaDiCaL::Stats
- elimres : CaDiCaL::Stats
- elimrestried : CaDiCaL::Stats
- elimrounds : CaDiCaL::Stats
- elimsubst : CaDiCaL::Stats
- elimtried : CaDiCaL::Stats
- elimxors : CaDiCaL::Stats
- emptyset : cube_struct
- enabled : kissat
- encoded : CaDiCaL::Sweeper, sweeper
- End : Amap_Pair_t_, Scl_Pair_t_, Wlc_Obj_t_
- end : CaDiCaL::Arena, Gluco2::DoubleRange, Gluco2::Int64Range, Gluco2::IntRange, Gluco::DoubleRange, Gluco::Int64Range, Gluco::IntRange, Minisat::DoubleRange, Minisat::Int64Range, Minisat::IntRange, unsigned_fifo
- end_clause : CaDiCaL::Wrapper
- end_inclusive : Gluco2::DoubleRange, Gluco::DoubleRange, Minisat::DoubleRange
- end_original_ref : cadical_kitten, kitten
- enqueued : CaDiCaL::Clause
- entry : st__generator, stmm_generator
- EntrySize : Cut_ManStruct_t_, Cut_OracleStruct_t_
- eof : gz_state
- eprop_call : CaDiCaL::Stats
- eprop_conf : CaDiCaL::Stats
- eprop_expl : CaDiCaL::Stats
- eprop_prop : CaDiCaL::Stats
- Epsilon : If_Par_t_, Jf_Par_t_
- epsilon : CaDiCaL::Walker
- eq_out : Bnd_Man_t_
- eq_res : Bnd_Man_t_
- Equiv : Amap_Obj_t_
- equivalences : closure
- eRoot : Dec_Graph_t_, Kit_Graph_t_
- Err : Abc_Frame_t_
- err : gz_state
- error_message : CaDiCaL::Internal
- ErrorStr : Prs_Man_t_, Psr_Man_t_, Smt_Prs_t_
- ervars : CaDiCaL::External
- esize : cadical_kitten, kitten
- EstLinear : SC_Man_
- EstLoadAve : SC_Man_
- EstLoadMax : SC_Man_
- EstRefs : Amap_Obj_t_, If_Obj_t_
- etrail : kissat
- evars : cadical_kitten, kitten
- except : CaDiCaL::sort_literals_by_var_rank_except, CaDiCaL::sort_literals_by_var_smaller_except
- Exp : xFloat_t_
- exp : CaDiCaL::EMA, Dsc_node_t_, smooth
- expansion_probability : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
- expId : Cec_ParSimGen_t_
- exponent : EpDoubleStruct, IeeeDoubleStruct, IeeeNanStruct
- export_ : cadical_kitten, kissat, kitten
- expression : Literal_t_
- ext_cb : CaDiCaL::Stats
- ext_clause_forgettable : CaDiCaL::Internal
- ext_flags : CaDiCaL::External
- ext_prop : CaDiCaL::Stats
- ext_units : CaDiCaL::External
- extend : CaDiCaL::Coveror, kissat
- extended : CaDiCaL::External, CaDiCaL::Stats, kissat
- extended_normality_processing : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
- extension : CaDiCaL::External, import
- extensions : CaDiCaL::Stats
- external : CaDiCaL::Internal
- external_prop : CaDiCaL::Internal
- external_prop_is_lazy : CaDiCaL::Internal
- external_reason : CaDiCaL::Internal
- extra : gz_header_s, inflate_state
- extra_base : static_tree_desc_s
- extra_bits : static_tree_desc_s
- extra_clause_field : Gluco2::ClauseAllocator, Gluco::ClauseAllocator, Minisat::ClauseAllocator
- extra_clauses : CaDiCaL::Closure
- extra_len : gz_header_s
- extra_max : gz_header_s
