#include <tracer.hpp>

Inheritance diagram for CaDiCaL::StatTracer:

[legend]

Collaboration diagram for CaDiCaL::StatTracer:

[legend]

Public Member Functions
	StatTracer ()

virtual	~StatTracer ()

virtual void	print_stats ()

Public Member Functions inherited from CaDiCaL::InternalTracer
	InternalTracer ()

virtual	~InternalTracer ()

virtual void	connect_internal (Internal *)

Public Member Functions inherited from CaDiCaL::Tracer
	Tracer ()

virtual	~Tracer ()

virtual void	add_original_clause (int64_t, bool, const std::vector< int > &, bool=false)

virtual void	add_derived_clause (int64_t, bool, const std::vector< int > &, const std::vector< int64_t > &)

virtual void	delete_clause (int64_t, bool, const std::vector< int > &)

virtual void	demote_clause (uint64_t, const std::vector< int > &)

virtual void	weaken_minus (int64_t, const std::vector< int > &)

virtual void	strengthen (int64_t)

virtual void	report_status (int, int64_t)

virtual void	finalize_clause (int64_t, const std::vector< int > &)

virtual void	begin_proof (int64_t)

virtual void	solve_query ()

virtual void	add_assumption (int)

virtual void	add_constraint (const std::vector< int > &)

virtual void	reset_assumptions ()

virtual void	add_assumption_clause (int64_t, const std::vector< int > &, const std::vector< int64_t > &)

virtual void	conclude_unsat (ConclusionType, const std::vector< int64_t > &)

virtual void	conclude_sat (const std::vector< int > &)

virtual void	conclude_unknown (const std::vector< int > &)

Detailed Description

Definition at line 160 of file tracer.hpp.

Constructor & Destructor Documentation

CaDiCaL::StatTracer::StatTracer ( )

inline

Definition at line 162 of file tracer.hpp.

162{}

virtual CaDiCaL::StatTracer::~StatTracer ( )

inlinevirtual

Definition at line 163 of file tracer.hpp.

163{}

virtual void CaDiCaL::StatTracer::print_stats ( )

inlinevirtual

Definition at line 165 of file tracer.hpp.

165{}

The documentation for this class was generated from the following file: