smtrat::SATModule< Settings >::WatcherDeleted Struct Reference

[Minisat related code] More...

Collaboration diagram for smtrat::SATModule< Settings >::WatcherDeleted:

Public Member Functions
	WatcherDeleted (const Minisat::ClauseAllocator &_ca)
	[Minisat related code] More...
bool	operator() (const Minisat::Watcher &w) const
	[Minisat related code] More...

Data Fields
const Minisat::ClauseAllocator &	ca
	[Minisat related code] More...

Detailed Description

template<class Settings>
struct smtrat::SATModule< Settings >::WatcherDeleted

[Minisat related code]

Definition at line 201 of file SATModule.h.

Constructor & Destructor Documentation

WatcherDeleted()

template<class Settings >

smtrat::SATModule< Settings >::WatcherDeleted::WatcherDeleted ( const Minisat::ClauseAllocator &  _ca )

inline

[Minisat related code]

Definition at line 207 of file SATModule.h.

Member Function Documentation

operator()()

template<class Settings >

bool smtrat::SATModule< Settings >::WatcherDeleted::operator() ( const Minisat::Watcher &  w ) const

inline

[Minisat related code]

Definition at line 212 of file SATModule.h.

Field Documentation

ca

template<class Settings >

const Minisat::ClauseAllocator& smtrat::SATModule< Settings >::WatcherDeleted::ca

[Minisat related code]

Definition at line 204 of file SATModule.h.

---

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

• smtrat-modules/SATModule/SATModule.h