operator>()

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.