Minisat::Internal::Lit Struct Reference

#include <ogdf/lib/minisat/core/SolverTypes.h>

Public Member Functions
bool	operator!= (Lit p) const
bool	operator< (Lit p) const
bool	operator== (Lit p) const

Public Attributes
int	x

Friends
Lit	mkLit (Var var, bool sign)

Detailed Description

Definition at line 46 of file SolverTypes.h.

Member Function Documentation

operator!=()

bool Minisat::Internal::Lit::operator!= ( Lit  p ) const

inline

Definition at line 53 of file SolverTypes.h.

operator<()

bool Minisat::Internal::Lit::operator< ( Lit  p ) const

inline

Definition at line 54 of file SolverTypes.h.

operator==()

bool Minisat::Internal::Lit::operator== ( Lit  p ) const

inline

Definition at line 52 of file SolverTypes.h.

Friends And Related Symbol Documentation

mkLit

Lit mkLit ( Var  var, bool  sign = false  )

friend

Definition at line 58 of file SolverTypes.h.

Member Data Documentation

x

int Minisat::Internal::Lit::x

Definition at line 47 of file SolverTypes.h.

---

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

• include/ogdf/lib/minisat/core/SolverTypes.h