Minisat::SimpSolver::ElimLt Struct Reference

#include <SimpSolver.h>

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

Data Fields
const vec< int > &	n_occ

Detailed Description

Definition at line 103 of file SimpSolver.h.

Constructor & Destructor Documentation

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

inlineexplicit

Definition at line 105 of file SimpSolver.h.

: n_occ(no) {}

Member Function Documentation

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

inline

Definition at line 109 of file SimpSolver.h.

{ return (uint64_t)n_occ[toInt(mkLit(x))] * (uint64_t)n_occ[toInt(~mkLit(x))]; }

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

inline

Definition at line 110 of file SimpSolver.h.

{ return cost(x) < cost(y); }

Field Documentation

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

Definition at line 104 of file SimpSolver.h.

---

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

• SimpSolver.h