ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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.

40 {
41 candidates.push_back (Candidate (l, c, s, n));
42 }
Here is the caller graph for this function:

◆ operator bool()

CaDiCaL::Instantiator::operator bool ( ) const
inline

Definition at line 44 of file instantiate.hpp.

44{ 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: