CaDiCaL::Instantiator Class Reference

#include <instantiate.hpp>

Public Member Functions
void	candidate (int l, Clause *c, int s, size_t n)
	operator bool () const

Friends
struct	Internal

Detailed Description

Definition at line 24 of file instantiate.hpp.

Member Function Documentation

candidate()

void CaDiCaL::Instantiator::candidate ( int l, Clause * c, int s, size_t n )

inline

Definition at line 40 of file instantiate.hpp.

                                                     {
    candidates.push_back (Candidate (l, c, s, n));
  }

Here is the caller graph for this function:

operator bool()

CaDiCaL::Instantiator::operator bool ( ) const

inline

Definition at line 44 of file instantiate.hpp.

{ return !candidates.empty (); }

Friends And Related Symbol Documentation

Internal

friend struct Internal

friend

Definition at line 26 of file instantiate.hpp.

---

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

• src/sat/cadical/instantiate.hpp