Gluco2::Solver::WatcherDeleted Struct Reference

#include <Solver.h>

Collaboration diagram for Gluco2::Solver::WatcherDeleted:

Public Member Functions
	WatcherDeleted (const ClauseAllocator &_ca)
bool	operator() (const Watcher &w) const

Public Attributes
const ClauseAllocator &	ca

Detailed Description

Definition at line 218 of file Solver.h.

Constructor & Destructor Documentation

WatcherDeleted()

Gluco2::Solver::WatcherDeleted::WatcherDeleted ( const ClauseAllocator & _ca )

inline

Definition at line 221 of file Solver.h.

: ca(_ca) {}

Member Function Documentation

operator()()

bool Gluco2::Solver::WatcherDeleted::operator() ( const Watcher & w ) const

inline

Definition at line 222 of file Solver.h.

{ return ca[w.cref].mark() == 1; }

Member Data Documentation

ca

const ClauseAllocator& Gluco2::Solver::WatcherDeleted::ca

Definition at line 220 of file Solver.h.

---

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

• src/sat/glucose2/Solver.h