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

Detailed Description

Definition at line 46 of file SolverTypes.h.

Member Function Documentation

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

inline

Definition at line 53 of file SolverTypes.h.

{ return x != p.x; }

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

inline

Definition at line 54 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 52 of file SolverTypes.h.

{ return x == p.x; }

Friends And Related Function Documentation

Lit mkLit ( Var  var, bool  sign = false  )

friend

Definition at line 58 of file SolverTypes.h.

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

Field Documentation

int Minisat::Lit::x

Definition at line 47 of file SolverTypes.h.

---

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

• SolverTypes.h