CaDiCaL::WitnessIterator Class Reference

#include <cadical.hpp>

Inheritance diagram for CaDiCaL::WitnessIterator:

Public Member Functions
virtual	~WitnessIterator ()
virtual bool	witness (const std::vector< int > &clause, const std::vector< int > &witness, int64_t id=0)=0

Detailed Description

Definition at line 1337 of file cadical.hpp.

Constructor & Destructor Documentation

~WitnessIterator()

virtual CaDiCaL::WitnessIterator::~WitnessIterator ( )

inlinevirtual

Definition at line 1339 of file cadical.hpp.

{}

Member Function Documentation

witness()

virtual bool CaDiCaL::WitnessIterator::witness ( const std::vector< int > & clause, const std::vector< int > & witness, int64_t id = 0 )

pure virtual

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

• src/sat/cadical/cadical.hpp