Here is a list of all functions with links to the classes they belong to:

- e -

• eager_representative() : CaDiCaL::Closure
• eager_representative_id() : CaDiCaL::Closure
• eagerly_remove_from_occurences() : CaDiCaL::Internal
• eagerly_subsume_recently_learned_clauses() : CaDiCaL::Internal
• elems() : Gluco2::Map< K, D, H, E >, Gluco::Map< K, D, H, E >, Minisat::Map< K, D, H, E >
• elim() : CaDiCaL::Internal
• elim_add_resolvents() : CaDiCaL::Internal
• elim_backward_clause() : CaDiCaL::Internal
• elim_backward_clauses() : CaDiCaL::Internal
• 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
• elimfast() : CaDiCaL::Internal
• elimfast_add_resolvents() : CaDiCaL::Internal
• elimfast_resolvents_are_bounded() : CaDiCaL::Internal
• elimfast_round() : CaDiCaL::Internal
• eliminate() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• eliminated() : CaDiCaL::Flags
• eliminateVar() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• Eliminator() : CaDiCaL::Eliminator
• ElimLt() : Gluco2::SimpSolver::ElimLt, Gluco::SimpSolver::ElimLt, Minisat::SimpSolver::ElimLt
• 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
• enable() : CaDiCaL::Reluctant
• end() : CaDiCaL::Clause, CaDiCaL::Config, CaDiCaL::heap< C >, CaDiCaL::Options, CaDiCaL::Range, CaDiCaL::Sange, kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• endl() : CaDiCaL::File
• enlarge() : CaDiCaL::External, CaDiCaL::Internal
• enlarge_vals() : CaDiCaL::Internal
• enqueue() : CaDiCaL::Eliminator, CaDiCaL::Queue, Gluco2::Solver, Gluco::Solver, Minisat::Solver
• erase() : CaDiCaL::heap< C >, CaDiCaL::Vivifier
• erase_line_if_connected_otherwise_new_line() : CaDiCaL::Terminal
• erase_until_end_of_line() : CaDiCaL::Terminal
• error() : CaDiCaL::Internal
• error_message_end() : CaDiCaL::Internal
• error_message_start() : CaDiCaL::Internal
• eSLIMLog() : eSLIM::eSLIMLog
• exists() : CaDiCaL::File
• expand() : Rewire::Miaig
• expandShareReduce() : Rewire::Miaig
• expandThenReduce() : Rewire::Miaig
• explain_external_propagations() : CaDiCaL::Internal
• explain_reason() : CaDiCaL::Internal
• export_learned_empty_clause() : CaDiCaL::External
• export_learned_large_clause() : CaDiCaL::External
• export_learned_unit_clause() : CaDiCaL::External
• extend() : CaDiCaL::External
• extendModel() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• External() : CaDiCaL::External
• external() : CaDiCaL::Testing
• external_check_solution() : CaDiCaL::Internal
• external_propagate() : CaDiCaL::Internal
• externalize() : CaDiCaL::Internal
• 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