#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 |
Definition at line 103 of file SimpSolver.h.
Definition at line 105 of file SimpSolver.h.
Definition at line 109 of file SimpSolver.h.
Definition at line 110 of file SimpSolver.h.
Definition at line 104 of file SimpSolver.h.