Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

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: