canonical-state? ( state transitions state-classes -- ? )


Vocabulary
regexp.minimize

Inputs
statean object
transitionsan object
state-classesan object


Outputs
?an object


Definition
USING: assocs kernel ;

IN: regexp.minimize

: canonical-state? ( state transitions state-classes -- ? )
[ [ dup ] ] dip [ at = ] curry compose swap
[ at has-conditions? ] curry bi or ;