Minisat::Solver::Watcher Struct Reference

#include <Solver.h>

Collaboration diagram for Minisat::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 149 of file Solver.h.

Constructor & Destructor Documentation

Watcher()

Minisat::Solver::Watcher::Watcher ( CRef cr, Lit p )

inline

Definition at line 152 of file Solver.h.

: cref(cr), blocker(p) {}

Here is the caller graph for this function:

Member Function Documentation

operator!=()

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

inline

Definition at line 154 of file Solver.h.

{ return cref != w.cref; }

Here is the call graph for this function:

operator==()

bool Minisat::Solver::Watcher::operator== ( const Watcher & w ) const

inline

Definition at line 153 of file Solver.h.

{ return cref == w.cref; }

Here is the call graph for this function:

Member Data Documentation

blocker

Lit Minisat::Solver::Watcher::blocker

Definition at line 151 of file Solver.h.

cref

CRef Minisat::Solver::Watcher::cref

Definition at line 150 of file Solver.h.

---

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

• src/sat/bsat2/Solver.h