
Sort linear terms by view. More...
#include <post.hpp>
Public Member Functions | |
| bool | operator() (const Term< View > &a, const Term< View > &b) |
Sort linear terms by view.
| bool Gecode::Int::Linear::TermLess< View >::operator() | ( | const Term< View > & | a, |
| const Term< View > & | b | ||
| ) | [inline] |