Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

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: