Summary
Set-theoretic operations on classes
Words
Tuple classes
Generic words
Symbol words
Ordinary words
Class predicate words
Files
Children
Set-theoretic operations on classes
Words
Tuple classes
| Class | Superclass | Slots |
 topological-sort-failed |  tuple |
Generic words
| Word | Stack effect |
 valid-classoid? | ( obj -- ? ) |
Symbol words
| +incomparable+ |
Ordinary words
| Word | Stack effect |
| class-and | ( first second -- class ) |
| class-not | ( class -- complement ) |
| class-or | ( first second -- class ) |
| class< | ( first second -- ? ) |
| class<= | ( first second -- ? ) |
| class= | ( first second -- ? ) |
| classes-intersect? | ( first second -- ? ) |
| compare-classes | ( first second -- <=> ) |
| evaluate-class-predicate | ( class1 class2 -- ? ) |
| flatten-class | ( class -- assoc ) |
| largest-class | ( seq -- n elt ) |
| only-classoid? | ( obj -- ? ) |
| smallest-class | ( classes -- class/f ) |
| sort-classes | ( seq -- newseq ) |
| topological-sort-failed | ( -- * ) |
Class predicate words
| Word | Stack effect |
| topological-sort-failed? | ( object -- ? ) |
Files
Children
| Vocabulary | Summary |
 classes.algebra.private | classes.algebra.private vocabulary |