ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
CaDiCaL::InternalTracer Struct Reference

#include <tracer.hpp>

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

Public Member Functions

 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 152 of file tracer.hpp.

Constructor & Destructor Documentation

◆ InternalTracer()

CaDiCaL::InternalTracer::InternalTracer ( )
inline

Definition at line 154 of file tracer.hpp.

154{}

◆ ~InternalTracer()

virtual CaDiCaL::InternalTracer::~InternalTracer ( )
inlinevirtual

Definition at line 155 of file tracer.hpp.

155{}

Member Function Documentation

◆ connect_internal()

virtual void CaDiCaL::InternalTracer::connect_internal ( Internal * )
inlinevirtual

Reimplemented in CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, and CaDiCaL::VeripbTracer.

Definition at line 157 of file tracer.hpp.

157{}
Here is the caller graph for this function:
The documentation for this struct was generated from the following file: