partition-more ( partitions transition-table -- partitions changed? )

Vocabulary

regexp.minimize

Inputs

partitions	an object
transition-table	an object

Outputs

partitions	an object
changed?	an object

Definition

USING: kernel sequences sets ;

IN: regexp.minimize

:: partition-more
    ( partitions transition-table -- partitions changed? )
    partitions cardinality :> size partitions members [
        dup first2 transition-table partitions stay-same?
        [ drop ] [ partitions delete ] if
    ] each partitions dup cardinality size = not ;