Minisat::Solver::VarOrderLt Struct Reference

#include <Solver.h>

Collaboration diagram for Minisat::Solver::VarOrderLt:

Public Member Functions
bool	operator() (Var x, Var y) const
	VarOrderLt (const IntMap< Var, double > &act)

Data Fields
const IntMap< Var, double > &	activity

Detailed Description

Definition at line 176 of file Solver.h.

Constructor & Destructor Documentation

Minisat::Solver::VarOrderLt::VarOrderLt ( const IntMap< Var, double > &  act )

inline

Definition at line 179 of file Solver.h.

: activity(act) { }

Member Function Documentation

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

inline

Definition at line 178 of file Solver.h.

{ return activity[x] > activity[y]; }

Field Documentation

const IntMap<Var, double>& Minisat::Solver::VarOrderLt::activity

Definition at line 177 of file Solver.h.

---

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

• Solver.h