Graph Drawing

 v. 2022.02 (Dogwood)

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)

Definition at line 105 of file SimpSolver.h.

Member Function Documentation

◆ cost()

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

Definition at line 109 of file SimpSolver.h.

◆ operator()()

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

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: