Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

Minisat::Internal::Solver::VarOrderLt Struct Reference

#include <ogdf/lib/minisat/core/Solver.h>

Public Member Functions

 VarOrderLt (const vec< double > &act)
 
bool operator() (Var x, Var y) const
 

Public Attributes

const vec< double > & activity
 

Detailed Description

Definition at line 179 of file Solver.h.

Constructor & Destructor Documentation

◆ VarOrderLt()

Minisat::Internal::Solver::VarOrderLt::VarOrderLt ( const vec< double > &  act)
inline

Definition at line 182 of file Solver.h.

Member Function Documentation

◆ operator()()

bool Minisat::Internal::Solver::VarOrderLt::operator() ( Var  x,
Var  y 
) const
inline

Definition at line 181 of file Solver.h.

Member Data Documentation

◆ activity

const vec<double>& Minisat::Internal::Solver::VarOrderLt::activity

Definition at line 180 of file Solver.h.


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