Minisat::Internal::Solver::Watcher Struct Reference

#include <ogdf/lib/minisat/core/Solver.h>

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

Public Attributes
Lit	blocker
CRef	cref

Detailed Description

Definition at line 164 of file Solver.h.

Constructor & Destructor Documentation

Watcher()

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

inline

Definition at line 167 of file Solver.h.

Member Function Documentation

operator!=()

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

inline

Definition at line 169 of file Solver.h.

operator==()

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

inline

Definition at line 168 of file Solver.h.

Member Data Documentation

blocker

Lit Minisat::Internal::Solver::Watcher::blocker

Definition at line 166 of file Solver.h.

cref

CRef Minisat::Internal::Solver::Watcher::cref

Definition at line 165 of file Solver.h.

---

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

• include/ogdf/lib/minisat/core/Solver.h