CaDiCaL::FileTracer Member List

This is the complete list of members for CaDiCaL::FileTracer, including all inherited members.

add_assumption(int)	CaDiCaL::Tracer	inlinevirtual
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 std::vector< int > &, const std::vector< int64_t > &)	CaDiCaL::Tracer	inlinevirtual
add_original_clause(int64_t, bool, const std::vector< int > &, bool=false)	CaDiCaL::Tracer	inlinevirtual
begin_proof(int64_t)	CaDiCaL::Tracer	inlinevirtual
close(bool print=false)=0	CaDiCaL::FileTracer	pure virtual
closed()=0	CaDiCaL::FileTracer	pure virtual
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 *)	CaDiCaL::InternalTracer	inlinevirtual
delete_clause(int64_t, bool, const std::vector< int > &)	CaDiCaL::Tracer	inlinevirtual
demote_clause(uint64_t, const std::vector< int > &)	CaDiCaL::Tracer	inlinevirtual
FileTracer()	CaDiCaL::FileTracer	inline
finalize_clause(int64_t, const std::vector< int > &)	CaDiCaL::Tracer	inlinevirtual
flush(bool print=false)=0	CaDiCaL::FileTracer	pure virtual
InternalTracer()	CaDiCaL::InternalTracer	inline
report_status(int, int64_t)	CaDiCaL::Tracer	inlinevirtual
reset_assumptions()	CaDiCaL::Tracer	inlinevirtual
solve_query()	CaDiCaL::Tracer	inlinevirtual
strengthen(int64_t)	CaDiCaL::Tracer	inlinevirtual
Tracer()	CaDiCaL::Tracer	inline
weaken_minus(int64_t, const std::vector< int > &)	CaDiCaL::Tracer	inlinevirtual
~FileTracer()	CaDiCaL::FileTracer	inlinevirtual
~InternalTracer()	CaDiCaL::InternalTracer	inlinevirtual
~Tracer()	CaDiCaL::Tracer	inlinevirtual