ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
CaDiCaL::FileTracer Class Referenceabstract

#include <tracer.hpp>

Inheritance diagram for CaDiCaL::FileTracer:
Inheritance graph
[legend]
Collaboration diagram for CaDiCaL::FileTracer:
Collaboration graph
[legend]

Public Member Functions

 FileTracer ()
 
virtual ~FileTracer ()
 
virtual bool closed ()=0
 
virtual void close (bool print=false)=0
 
virtual void flush (bool print=false)=0
 
- 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 168 of file tracer.hpp.

Constructor & Destructor Documentation

◆ FileTracer()

CaDiCaL::FileTracer::FileTracer ( )
inline

Definition at line 171 of file tracer.hpp.

171{}

◆ ~FileTracer()

virtual CaDiCaL::FileTracer::~FileTracer ( )
inlinevirtual

Definition at line 172 of file tracer.hpp.

172{}

Member Function Documentation

◆ close()

virtual void CaDiCaL::FileTracer::close ( bool print = false)
pure virtual

Implemented in CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratTracer, and CaDiCaL::VeripbTracer.

◆ closed()

virtual bool CaDiCaL::FileTracer::closed ( )
pure virtual

Implemented in CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratTracer, and CaDiCaL::VeripbTracer.

◆ flush()

virtual void CaDiCaL::FileTracer::flush ( bool print = false)
pure virtual

Implemented in CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratTracer, and CaDiCaL::VeripbTracer.

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