Minisat::Lit Struct Reference

#include <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=false)

Detailed Description

Definition at line 48 of file SolverTypes.h.

Member Function Documentation

operator!=()

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

inline

Definition at line 55 of file SolverTypes.h.

{ return x != p.x; }

operator<()

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

inline

Definition at line 56 of file SolverTypes.h.

{ return x < p.x;  } // '<' makes p, ~p adjacent in the ordering.

operator==()

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

inline

Definition at line 54 of file SolverTypes.h.

{ return x == p.x; }

Friends And Related Symbol Documentation

mkLit

Lit mkLit ( Var var, bool sign = false )

friend

Definition at line 60 of file SolverTypes.h.

{ Lit p; p.x = var + var + (int)sign; return p; }

Member Data Documentation

x

int Minisat::Lit::x

Definition at line 49 of file SolverTypes.h.

---

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

• src/sat/bsat2/SolverTypes.h