bool syten::Truncation::operator> | ( | Truncation const & | other | ) | const |
Returns true if any parameter of *this defines a stronger truncation (resulting in a potentially smaller state space) than the corresponding operator in other.
References maxBlocksize, maxStates, threshold, and weight.