is_standardized

bool libsemigroups::congruence::ToddCoxeter::is_standardized() const

Returns true if the ToddCoxeter instance is standardized.

In other words, if ToddCoxeter::standardize(order) has been called with any argument other than order::none.