ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Gluco::Solver::WatcherDeleted Struct Reference

#include <Solver.h>

Collaboration diagram for Gluco::Solver::WatcherDeleted:

Public Member Functions

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

Public Attributes

const ClauseAllocatorca
 

Detailed Description

Definition at line 212 of file Solver.h.

Constructor & Destructor Documentation

◆ WatcherDeleted()

Gluco::Solver::WatcherDeleted::WatcherDeleted ( const ClauseAllocator & _ca)
inline

Definition at line 215 of file Solver.h.

215: ca(_ca) {}
const ClauseAllocator & ca
Definition Solver.h:214

Member Function Documentation

◆ operator()()

bool Gluco::Solver::WatcherDeleted::operator() ( const Watcher & w) const
inline

Definition at line 216 of file Solver.h.

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

Member Data Documentation

◆ ca

const ClauseAllocator& Gluco::Solver::WatcherDeleted::ca

Definition at line 214 of file Solver.h.


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