CaDiCaL::ClauseIterator Class Reference

#include <cadical.hpp>

Inheritance diagram for CaDiCaL::ClauseIterator:

Public Member Functions
virtual	~ClauseIterator ()
virtual bool	clause (const std::vector< int > &)=0

Detailed Description

Definition at line 1314 of file cadical.hpp.

Constructor & Destructor Documentation

~ClauseIterator()

virtual CaDiCaL::ClauseIterator::~ClauseIterator ( )

inlinevirtual

Definition at line 1316 of file cadical.hpp.

{}

Member Function Documentation

clause()

virtual bool CaDiCaL::ClauseIterator::clause ( const std::vector< int > & )

pure virtual

Here is the caller graph for this function:

---

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

• src/sat/cadical/cadical.hpp