Here is a list of all class members 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
• eager_representative() : CaDiCaL::Closure
• eager_representative_id() : CaDiCaL::Closure
• eagerly_remove_from_occurences() : CaDiCaL::Internal
• eagerly_subsume_recently_learned_clauses() : CaDiCaL::Internal
• 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() : Gluco2::Map< K, D, H, E >, Gluco::Map< K, D, H, E >, Minisat::Map< K, D, H, E >, static_tree_desc_s
• ELIM : CaDiCaL::Internal
• elim : CaDiCaL::Flags, CaDiCaL::Internal, CaDiCaL::Last, CaDiCaL::Limit, CaDiCaL::Stats
• elim_add_resolvents() : CaDiCaL::Internal
• elim_backward_clause() : CaDiCaL::Internal
• elim_backward_clauses() : CaDiCaL::Internal
• elim_heap : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• elim_more() : CaDiCaL::elim_more
• elim_on_the_fly_self_subsumption() : CaDiCaL::Internal
• elim_propagate() : CaDiCaL::Internal
• elim_resolvents_are_bounded() : CaDiCaL::Internal
• elim_round() : CaDiCaL::Internal
• elim_update_added_clause() : CaDiCaL::Internal
• elim_update_removed_clause() : CaDiCaL::Internal
• elim_update_removed_lit() : CaDiCaL::Internal
• 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
• elimfast() : CaDiCaL::Internal
• elimfast_add_resolvents() : CaDiCaL::Internal
• elimfast_resolvents_are_bounded() : CaDiCaL::Internal
• elimfast_round() : CaDiCaL::Internal
• elimfastphases : CaDiCaL::Stats
• elimfastrounds : CaDiCaL::Stats
• elimgates : CaDiCaL::Stats
• eliminate : bounds, enabled, flags, Gluco2::SimpSolver, Gluco::SimpSolver, limits, Minisat::SimpSolver, remember
• ELIMINATED : CaDiCaL::Flags
• eliminated() : CaDiCaL::Flags, 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
• eliminateVar() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• Eliminator() : CaDiCaL::Eliminator
• eliminator : CaDiCaL::definition_extractor
• elimites : CaDiCaL::Stats
• ElimLt() : Gluco2::SimpSolver::ElimLt, Gluco::SimpSolver::ElimLt, Minisat::SimpSolver::ElimLt
• 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
• elit2ulit() : CaDiCaL::External
• Else() : NewBdd::Man, rrr::NewBdd::Man
• ElseOfBvar() : NewBdd::Man, rrr::NewBdd::Man
• EMA() : CaDiCaL::EMA
• empty() : CaDiCaL::heap< C >, Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >, Reap
• emptyset : cube_struct
• enable() : CaDiCaL::Reluctant
• enabled : kissat
• encoded : CaDiCaL::Sweeper, sweeper
• End : Amap_Pair_t_, Scl_Pair_t_, Wlc_Obj_t_
• end : CaDiCaL::Arena, CaDiCaL::Clause, CaDiCaL::Config, CaDiCaL::heap< C >, CaDiCaL::Options, CaDiCaL::Range, CaDiCaL::Sange, Gluco2::DoubleRange, Gluco2::Int64Range, Gluco2::IntRange, Gluco::DoubleRange, Gluco::Int64Range, Gluco::IntRange, kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >, 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
• endl() : CaDiCaL::File
• enlarge() : CaDiCaL::External, CaDiCaL::Internal
• enlarge_vals() : CaDiCaL::Internal
• enqueue() : CaDiCaL::Eliminator, CaDiCaL::Queue, Gluco2::Solver, Gluco::Solver, Minisat::Solver
• 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
• erase() : CaDiCaL::heap< C >, CaDiCaL::Vivifier
• erase_line_if_connected_otherwise_new_line() : CaDiCaL::Terminal
• erase_until_end_of_line() : CaDiCaL::Terminal
• eRoot : Dec_Graph_t_, Kit_Graph_t_
• Err : Abc_Frame_t_
• err : gz_state
• error() : CaDiCaL::Internal
• error_message : CaDiCaL::Internal
• error_message_end() : CaDiCaL::Internal
• error_message_start() : CaDiCaL::Internal
• ErrorStr : Prs_Man_t_, Psr_Man_t_, Smt_Prs_t_
• ervars : CaDiCaL::External
• esize : cadical_kitten, kitten
• eSLIMLog() : eSLIM::eSLIMLog
• 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
• exists() : CaDiCaL::File
• Exp : xFloat_t_
• exp : CaDiCaL::EMA, Dsc_node_t_, smooth
• expand() : Rewire::Miaig
• expandShareReduce() : Rewire::Miaig
• expandThenReduce() : Rewire::Miaig
• expansion_probability : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
• expId : Cec_ParSimGen_t_
• explain_external_propagations() : CaDiCaL::Internal
• explain_reason() : CaDiCaL::Internal
• exponent : EpDoubleStruct, IeeeDoubleStruct, IeeeNanStruct
• export_ : cadical_kitten, kissat, kitten
• export_learned_empty_clause() : CaDiCaL::External
• export_learned_large_clause() : CaDiCaL::External
• export_learned_unit_clause() : CaDiCaL::External
• 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, CaDiCaL::External, kissat
• extended : CaDiCaL::External, CaDiCaL::Stats, kissat
• extended_normality_processing : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
• extendModel() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• extension : CaDiCaL::External, import
• extensions : CaDiCaL::Stats
• External() : CaDiCaL::External
• external : CaDiCaL::Internal, CaDiCaL::Testing
• external_check_solution() : CaDiCaL::Internal
• external_prop : CaDiCaL::Internal
• external_prop_is_lazy : CaDiCaL::Internal
• external_propagate() : CaDiCaL::Internal
• external_reason : CaDiCaL::Internal
• externalize() : 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
• Extract() : rrr::AndNetwork, rrr::LevelBasePartitioner< Ntk >, rrr::Partitioner< Ntk >
• extract_and_gates() : CaDiCaL::Closure
• extract_and_gates_with_base_clause() : CaDiCaL::Closure
• extract_binaries() : CaDiCaL::Closure
• extract_condeq_pairs() : CaDiCaL::Closure
• extract_congruence() : CaDiCaL::Closure
• extract_gates() : CaDiCaL::Closure, CaDiCaL::Internal
• extract_ite_gates() : CaDiCaL::Closure
• extract_ite_gates_of_literal() : CaDiCaL::Closure
• extract_ite_gates_of_variable() : CaDiCaL::Closure
• extract_xor_gates() : CaDiCaL::Closure
• extract_xor_gates_with_base_clause() : CaDiCaL::Closure