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

- a -

• abstraction() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• abstractLevel() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• ac_decomposition_impl() : acd::ac_decomposition_impl
• acd66_impl() : acd::acd66_impl
• acdXX_impl() : acd::acdXX_impl
• active() : CaDiCaL::Flags, CaDiCaL::Internal, CaDiCaL::Solver
• activity() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• add() : CaDiCaL::External, CaDiCaL::Solver
• add_assumption() : CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Tracer
• add_assumption_clause() : CaDiCaL::Checker, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Tracer
• add_binary_clause() : CaDiCaL::Closure
• add_clause_to_chain() : CaDiCaL::Closure
• add_constraint() : CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Tracer
• add_core() : CaDiCaL::Internal
• add_derived_clause() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• add_derived_empty_clause() : CaDiCaL::Proof
• add_derived_unit_clause() : CaDiCaL::Proof
• add_external_clause() : CaDiCaL::Internal
• add_external_original_clause() : CaDiCaL::Proof
• add_factored_divider() : CaDiCaL::Internal
• add_factored_quotient() : CaDiCaL::Internal
• add_ite_matching_proof_chain() : CaDiCaL::Closure
• add_ite_turned_and_binary_clauses() : CaDiCaL::Closure
• add_literal_to_environment() : CaDiCaL::Internal
• add_new_original_clause() : CaDiCaL::Internal
• add_observed_var() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• add_original_clause() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• add_original_lit() : CaDiCaL::Internal
• add_self_subsuming_factor() : CaDiCaL::Internal
• add_sweep_binary() : CaDiCaL::Internal
• add_tmp_binary_clause() : CaDiCaL::Closure
• add_xor_matching_proof_chain() : CaDiCaL::Closure
• add_xor_shrinking_proof_chain() : CaDiCaL::Closure
• AddAnd() : rrr::AndNetwork
• AddCallback() : rrr::AndNetwork
• AddCex() : rrr::Simulator< Ntk >
• addClause() : eSLIM::CadicalSolver, eSLIM::KissatSolver, Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• addClause_() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• addEmptyClause() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• AddFanin() : rrr::AndNetwork
• addGateDeactivatedConstraint() : eSLIM::OneshotEngine
• addJwatch() : Gluco2::Solver
• AddPi() : rrr::AndNetwork
• AddPo() : rrr::AndNetwork
• addref() : Rewire::Miaig
• addVar() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver
• ael() : Gluco2::ClauseAllocator, Gluco2::RegionAllocator< T >, Gluco::ClauseAllocator, Gluco::RegionAllocator< T >, Minisat::ClauseAllocator, Minisat::RegionAllocator< T >
• alarm() : CaDiCaL::Signal
• alloc() : Gluco2::ClauseAllocator, Gluco2::RegionAllocator< T >, Gluco::ClauseAllocator, Gluco::RegionAllocator< T >, Minisat::ClauseAllocator, Minisat::RegionAllocator< T >
• already_solved() : CaDiCaL::Internal
• analyze() : CaDiCaL::Internal, Gluco2::Solver, Gluco::Solver, Minisat::Solver
• analyze_bumped_rank() : CaDiCaL::analyze_bumped_rank
• analyze_bumped_smaller() : CaDiCaL::analyze_bumped_smaller
• analyze_literal() : CaDiCaL::Internal
• analyze_reason() : CaDiCaL::Internal
• analyze_trail_larger() : CaDiCaL::analyze_trail_larger
• analyze_trail_negative_rank() : CaDiCaL::analyze_trail_negative_rank
• analyzeFinal() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• Analyzer() : rrr::Analyzer< Ntk, Sim, Sol >
• And() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• AndNetwork() : rrr::AndNetwork
• append() : CaDiCaL::Format
• appendFanin() : Rewire::Miaig
• appendObj() : Rewire::Miaig
• apply_factoring() : CaDiCaL::Internal
• applyeSLIM() : eSLIM::eSLIM_Man< SynthesisEngine, RelationEngine, SelectionEngine >
• Arena() : CaDiCaL::Arena
• arenaing() : CaDiCaL::Internal
• arity() : CaDiCaL::Gate
• ask_decision() : CaDiCaL::Internal
• ask_external_clause() : CaDiCaL::Internal
• assign_original_unit() : CaDiCaL::Internal
• assign_unit() : CaDiCaL::Internal
• assignment_level() : CaDiCaL::Internal
• AssignNetwork() : rrr::Analyzer< Ntk, Sim, Sol >, rrr::BddAnalyzer< Ntk >, rrr::BddMspfAnalyzer< Ntk >, rrr::LevelBasePartitioner< Ntk >, rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats, rrr::Partitioner< Ntk >, rrr::SatSolver< Ntk >, rrr::Simulator< Ntk >
• assume() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver, eSLIM::CadicalSolver
• assume_analyze_literal() : CaDiCaL::Internal
• assume_analyze_reason() : CaDiCaL::Internal
• assumed() : CaDiCaL::Internal
• asymm() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• asymmetric_literal_addition() : CaDiCaL::Internal
• asymmVar() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• attachClause() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• attr() : Gluco2::Solver::JustKey
• Averages() : CaDiCaL::Averages