Comapre term by variable.
More...
#include <Solvers.h>
|
template<typename TermType > |
bool | operator() (TermType const &t1, TermType const &t2) const |
|
Comapre term by variable.
Definition at line 590 of file Solvers.h.
template<typename TermType >
bool limbo::solvers::CompareTermByVariable::operator() |
( |
TermType const & |
t1, |
|
|
TermType const & |
t2 |
|
) |
| const |
|
inline |
- Template Parameters
-
- Parameters
-
- 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