Sort linear terms by coefficient size and original position. More...
#include <post.hpp>
Public Member Functions | |
bool | operator() (const Term< View > &a, const Term< View > &b) |
Sort linear terms by coefficient size and original position.
|
inline |