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