SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
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 46 of file SolverTypes.h.

Member Function Documentation

◆ operator!=()

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

Definition at line 53 of file SolverTypes.h.

◆ operator<()

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

Definition at line 54 of file SolverTypes.h.

◆ operator==()

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

Definition at line 52 of file SolverTypes.h.

Friends And Related Function Documentation

◆ mkLit

Lit mkLit ( Var  var,
bool  sign = false 
)
friend

Definition at line 60 of file SolverTypes.h.

Field Documentation

◆ x

int Minisat::Lit::x

Definition at line 47 of file SolverTypes.h.

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