limbo::solvers::CompareTermByVariable Struct Reference

Comapre term by variable. More...

#include <Solvers.h>

Public Member Functions
template<typename TermType >
bool	operator() (TermType const &t1, TermType const &t2) const

Detailed Description

Comapre term by variable.

Definition at line 590 of file Solvers.h.

Member Function Documentation

template<typename TermType >

bool limbo::solvers::CompareTermByVariable::operator() ( TermType const &  t1, TermType const &  t2  ) const

inline

Template Parameters

TermType

term type

Parameters

t1	term
t2	term

Returns

true if the variable of t1 is smaller than that of t2

Definition at line 597 of file Solvers.h.

---

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

• /Users/yibolin/Documents/Projects/Limbo/limbo/solvers/Solvers.h