Minisat::SimpSolver::ElimLt Struct Reference

#include <SimpSolver.h>

Collaboration diagram for Minisat::SimpSolver::ElimLt:

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

Data Fields
const LMap< int > &	n_occ

Detailed Description

Definition at line 111 of file SimpSolver.h.

Constructor & Destructor Documentation

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

inlineexplicit

Definition at line 113 of file SimpSolver.h.

: n_occ(no) {}

Member Function Documentation

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

inline

Definition at line 117 of file SimpSolver.h.

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

Here is the call graph for this function:

Here is the caller graph for this function:

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

inline

Definition at line 118 of file SimpSolver.h.

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

Here is the call graph for this function:

Field Documentation

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

Definition at line 112 of file SimpSolver.h.

---

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

• SimpSolver.h