Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

Minisat::Internal::Solver::WatcherDeleted Struct Reference

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

Public Member Functions

 WatcherDeleted (const ClauseAllocator &_ca)
 
bool operator() (const Watcher &w) const
 

Public Attributes

const ClauseAllocatorca
 

Detailed Description

Definition at line 172 of file Solver.h.

Constructor & Destructor Documentation

◆ WatcherDeleted()

Minisat::Internal::Solver::WatcherDeleted::WatcherDeleted ( const ClauseAllocator _ca)
inline

Definition at line 175 of file Solver.h.

Member Function Documentation

◆ operator()()

bool Minisat::Internal::Solver::WatcherDeleted::operator() ( const Watcher w) const
inline

Definition at line 176 of file Solver.h.

Member Data Documentation

◆ ca

const ClauseAllocator& Minisat::Internal::Solver::WatcherDeleted::ca

Definition at line 174 of file Solver.h.


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