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
External *	dst

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.

: 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.

                                                                        {
    dst->push_external_clause_and_witness_on_extension_stack (c, w, id);
    return true;
  }

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:

• src/sat/cadical/cadical_solver.cpp