ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CaDiCaL::WitnessCopier Struct Reference
Inheritance diagram for CaDiCaL::WitnessCopier:
Collaboration diagram for CaDiCaL::WitnessCopier:

Public Member Functions

 WitnessCopier (External *d)
 
bool witness (const vector< int > &c, const vector< int > &w, int64_t id)
 
- Public Member Functions inherited from CaDiCaL::WitnessIterator
virtual ~WitnessIterator ()
 
virtual bool witness (const std::vector< int > &clause, const std::vector< int > &witness, int64_t id=0)=0
 

Public Attributes

Externaldst
 

Detailed Description

Definition at line 1680 of file cadical_solver.cpp.

Constructor & Destructor Documentation

◆ WitnessCopier()

CaDiCaL::WitnessCopier::WitnessCopier ( External * d)
inline

Definition at line 1684 of file cadical_solver.cpp.

1684: dst (d) {}

Member Function Documentation

◆ witness()

bool CaDiCaL::WitnessCopier::witness ( const vector< int > & c,
const vector< int > & w,
int64_t id )
inline

Definition at line 1685 of file cadical_solver.cpp.

1685 {
1686 dst->push_external_clause_and_witness_on_extension_stack (c, w, id);
1687 return true;
1688 }

Member Data Documentation

◆ dst

External* CaDiCaL::WitnessCopier::dst

Definition at line 1681 of file cadical_solver.cpp.


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