Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

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 45 of file SolverTypes.h.

Member Function Documentation

◆ operator!=()

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

Definition at line 52 of file SolverTypes.h.

◆ 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 51 of file SolverTypes.h.

Friends And Related Function Documentation

◆ mkLit

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

Definition at line 57 of file SolverTypes.h.

Member Data Documentation

◆ x

int Minisat::Internal::Lit::x

Definition at line 46 of file SolverTypes.h.


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