abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Minisat::Solver::WatcherDeleted Struct Reference

#include <Solver.h>

Public Member Functions

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

Data Fields

const ClauseAllocatorca
 

Detailed Description

Definition at line 156 of file Solver.h.

Constructor & Destructor Documentation

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

Definition at line 159 of file Solver.h.

159 : ca(_ca) {}
const ClauseAllocator & ca
Definition: Solver.h:158

Member Function Documentation

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

Definition at line 160 of file Solver.h.

160 { return ca[w.cref].mark() == 1; }
const ClauseAllocator & ca
Definition: Solver.h:158

Field Documentation

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

Definition at line 158 of file Solver.h.


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