Summary
Words
Ordinary words
Files
Words
Ordinary words
| Word | Stack effect |
 (state-classes) | ( transition-table -- partition ) |
| assoc>set | ( assoc -- keys-set ) |
| canonical-state? | ( state transitions state-classes -- ? ) |
| combine-state-transitions | ( hash -- hash ) |
| combine-states | ( table -- smaller-table ) |
| combine-transitions | ( table -- table ) |
| delete-duplicates | ( transitions state-classes -- new-transitions ) |
| has-conditions? | ( assoc -- ? ) |
| initialize-partitions | ( transition-table -- partitions ) |
| initially-same? | ( s1 s2 transition-table -- ? ) |
| minimize | ( table -- minimal-table ) |
| number-states | ( table -- newtable ) |
| partition-more | ( partitions transition-table -- partitions changed? ) |
| partition>classes | ( partitions -- synonyms ) |
| same-partition? | ( s1 s2 partitions -- ? ) |
| state-classes | ( transition-table -- synonyms ) |
| stay-same? | ( s1 s2 transition partitions -- ? ) |
| table>state-numbers | ( table -- assoc ) |
Files