Minisat::Internal::SimpSolver::ElimLt Struct Reference

#include <ogdf/lib/minisat/simp/SimpSolver.h>

Public Member Functions
	ElimLt (const vec< int > &no)
uint64_t	cost (Var x) const
bool	operator() (Var x, Var y) const

Public Attributes
const vec< int > &	n_occ

Detailed Description

Definition at line 103 of file SimpSolver.h.

Constructor & Destructor Documentation

ElimLt()

Minisat::Internal::SimpSolver::ElimLt::ElimLt ( const vec< int > &  no )

inlineexplicit

Definition at line 105 of file SimpSolver.h.

Member Function Documentation

cost()

uint64_t Minisat::Internal::SimpSolver::ElimLt::cost ( Var  x ) const

inline

Definition at line 109 of file SimpSolver.h.

operator()()

bool Minisat::Internal::SimpSolver::ElimLt::operator() ( Var  x, Var  y  ) const

inline

Definition at line 110 of file SimpSolver.h.

Member Data Documentation

n_occ

const vec<int>& Minisat::Internal::SimpSolver::ElimLt::n_occ

Definition at line 104 of file SimpSolver.h.

---

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

• include/ogdf/lib/minisat/simp/SimpSolver.h