| add_assumption(int) override | CaDiCaL::LratChecker | virtual |
| add_assumption_clause(int64_t, const vector< int > &, const vector< int64_t > &) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::add_assumption_clause(int64_t, const std::vector< int > &, const std::vector< int64_t > &) | CaDiCaL::Tracer | inlinevirtual |
| add_constraint(const vector< int > &) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::add_constraint(const std::vector< int > &) | CaDiCaL::Tracer | inlinevirtual |
| add_derived_clause(int64_t, bool, const vector< int > &, const vector< int64_t > &) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::add_derived_clause(int64_t, bool, const std::vector< int > &, const std::vector< int64_t > &) | CaDiCaL::Tracer | inlinevirtual |
| add_original_clause(int64_t, bool, const vector< int > &, bool restore) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::add_original_clause(int64_t, bool, const std::vector< int > &, bool=false) | CaDiCaL::Tracer | inlinevirtual |
| added | CaDiCaL::LratChecker | |
| begin_proof(int64_t) override | CaDiCaL::LratChecker | virtual |
| checks | CaDiCaL::LratChecker | |
| collections | CaDiCaL::LratChecker | |
| collisions | CaDiCaL::LratChecker | |
| conclude_sat(const std::vector< int > &) | CaDiCaL::Tracer | inlinevirtual |
| conclude_unknown(const std::vector< int > &) | CaDiCaL::Tracer | inlinevirtual |
| conclude_unsat(ConclusionType, const vector< int64_t > &) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::conclude_unsat(ConclusionType, const std::vector< int64_t > &) | CaDiCaL::Tracer | inlinevirtual |
| connect_internal(Internal *i) override | CaDiCaL::LratChecker | virtual |
| delete_clause(int64_t, bool, const vector< int > &) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::delete_clause(int64_t, bool, const std::vector< int > &) | CaDiCaL::Tracer | inlinevirtual |
| deleted | CaDiCaL::LratChecker | |
| demote_clause(uint64_t, const std::vector< int > &) | CaDiCaL::Tracer | inlinevirtual |
| derived | CaDiCaL::LratChecker | |
| dump() | CaDiCaL::LratChecker | |
| finalize_clause(int64_t, const vector< int > &) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::finalize_clause(int64_t, const std::vector< int > &) | CaDiCaL::Tracer | inlinevirtual |
| finalized | CaDiCaL::LratChecker | |
| insertions | CaDiCaL::LratChecker | |
| InternalTracer() | CaDiCaL::InternalTracer | inline |
| LratChecker(Internal *) | CaDiCaL::LratChecker | |
| original | CaDiCaL::LratChecker | |
| print_stats() override | CaDiCaL::LratChecker | virtual |
| report_status(int, int64_t) override | CaDiCaL::LratChecker | virtual |
| reset_assumptions() override | CaDiCaL::LratChecker | virtual |
| restore_clause(int64_t, const vector< int > &) | CaDiCaL::LratChecker | |
| searches | CaDiCaL::LratChecker | |
| solve_query() | CaDiCaL::Tracer | inlinevirtual |
| StatTracer() | CaDiCaL::StatTracer | inline |
| strengthen(int64_t) | CaDiCaL::Tracer | inlinevirtual |
| Tracer() | CaDiCaL::Tracer | inline |
| weaken_minus(int64_t, const vector< int > &) override | CaDiCaL::LratChecker | |
| CaDiCaL::StatTracer::weaken_minus(int64_t, const std::vector< int > &) | CaDiCaL::Tracer | inlinevirtual |
| ~InternalTracer() | CaDiCaL::InternalTracer | inlinevirtual |
| ~LratChecker() | CaDiCaL::LratChecker | virtual |
| ~StatTracer() | CaDiCaL::StatTracer | inlinevirtual |
| ~Tracer() | CaDiCaL::Tracer | inlinevirtual |
