SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
Minisat::Watcher Struct Reference

[Minisat related code] More...

#include <SolverTypes.h>

Collaboration diagram for Minisat::Watcher:
Collaboration graph
[legend]

Public Member Functions

 Watcher (Minisat::CRef cr, Minisat::Lit p)
 [Minisat related code] More...
 
bool operator== (const Watcher &w) const
 [Minisat related code] More...
 
bool operator!= (const Watcher &w) const
 [Minisat related code] More...
 

Data Fields

Minisat::CRef cref
 [Minisat related code] More...
 
Minisat::Lit blocker
 [Minisat related code] More...
 

Friends

std::ostream & operator<< (std::ostream &os, const Watcher &w)
 

Detailed Description

[Minisat related code]

Definition at line 462 of file SolverTypes.h.

Constructor & Destructor Documentation

◆ Watcher()

Minisat::Watcher::Watcher ( Minisat::CRef  cr,
Minisat::Lit  p 
)
inline

[Minisat related code]

Definition at line 471 of file SolverTypes.h.

Member Function Documentation

◆ operator!=()

bool Minisat::Watcher::operator!= ( const Watcher &  w) const
inline

[Minisat related code]

Definition at line 483 of file SolverTypes.h.

◆ operator==()

bool Minisat::Watcher::operator== ( const Watcher &  w) const
inline

[Minisat related code]

Definition at line 477 of file SolverTypes.h.

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  os,
const Watcher &  w 
)
friend

Definition at line 487 of file SolverTypes.h.

Field Documentation

◆ blocker

Minisat::Lit Minisat::Watcher::blocker

[Minisat related code]

Definition at line 468 of file SolverTypes.h.

◆ cref

Minisat::CRef Minisat::Watcher::cref

[Minisat related code]

Definition at line 465 of file SolverTypes.h.

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