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] |