Gluco2::Solver::VarOrderLt Struct Reference

#include <Solver.h>

Collaboration diagram for Gluco2::Solver::VarOrderLt:

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

Public Attributes
const vec< double > &	activity

Detailed Description

Definition at line 225 of file Solver.h.

Constructor & Destructor Documentation

VarOrderLt()

Gluco2::Solver::VarOrderLt::VarOrderLt ( const vec< double > & act )

inline

Definition at line 228 of file Solver.h.

: activity(act) { }

Member Function Documentation

operator()()

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

inline

Definition at line 227 of file Solver.h.

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

Member Data Documentation

activity

const vec<double>& Gluco2::Solver::VarOrderLt::activity

Definition at line 226 of file Solver.h.

---

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

• src/sat/glucose2/Solver.h