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

Data Fields
int	x

Friends
Lit	mkLit (Var var, bool sign)

Detailed Description

Definition at line 51 of file SolverTypes.h.

Member Function Documentation

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

inline

Definition at line 58 of file SolverTypes.h.

{ return x != p.x; }

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

inline

Definition at line 59 of file SolverTypes.h.

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

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

inline

Definition at line 57 of file SolverTypes.h.

{ return x == p.x; }

Friends And Related Function Documentation

Lit mkLit ( Var  var, bool  sign = false  )

friend

Definition at line 63 of file SolverTypes.h.

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

Field Documentation

int Minisat::Lit::x

Definition at line 52 of file SolverTypes.h.

---

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

• SolverTypes.h