ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Gluco2::Solver::Watcher Struct Reference

#include <Solver.h>

Collaboration diagram for Gluco2::Solver::Watcher:

Public Member Functions

 Watcher (CRef cr, Lit p)
 
bool operator== (const Watcher &w) const
 
bool operator!= (const Watcher &w) const
 

Public Attributes

CRef cref
 
Lit blocker
 

Detailed Description

Definition at line 210 of file Solver.h.

Constructor & Destructor Documentation

◆ Watcher()

Gluco2::Solver::Watcher::Watcher ( CRef cr,
Lit p )
inline

Definition at line 213 of file Solver.h.

213: cref(cr), blocker(p) {}
Cube * p
Definition exorList.c:222
Here is the caller graph for this function:

Member Function Documentation

◆ operator!=()

bool Gluco2::Solver::Watcher::operator!= ( const Watcher & w) const
inline

Definition at line 215 of file Solver.h.

215{ return cref != w.cref; }
Here is the call graph for this function:

◆ operator==()

bool Gluco2::Solver::Watcher::operator== ( const Watcher & w) const
inline

Definition at line 214 of file Solver.h.

214{ return cref == w.cref; }
Here is the call graph for this function:

Member Data Documentation

◆ blocker

Lit Gluco2::Solver::Watcher::blocker

Definition at line 212 of file Solver.h.

◆ cref

CRef Gluco2::Solver::Watcher::cref

Definition at line 211 of file Solver.h.


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