Summary
Support for predicated value info
Words
Tuple classes
Generic words
Symbol words
Ordinary words
Class predicate words
Files
Support for predicated value info
Words
Tuple classes
| Class | Superclass | Slots |
 class-constraint | tuple | value class |
| equivalence | tuple | p q |
| false-constraint | tuple | value |
| implication | tuple | p q |
| interval-constraint | tuple | value interval |
| literal-constraint | tuple | value literal |
| true-constraint | tuple | value |
Generic words
| Word | Stack effect |
 assume* | ( constraint -- ) |
| satisfied? | ( constraint -- ? ) |
Symbol words
| constraints |
Ordinary words
| Word | Stack effect |
 --> | ( p q -- implication ) |
| /\ | ( p q -- constraint ) |
| <--> | ( p q -- equivalence ) |
| =f | ( value -- constriant ) |
| =t | ( value -- constraint ) |
| assume | ( constraint -- ) |
| assume-implication | ( q p -- ) |
| f--> | ( constraint boolean-value -- constraint' ) |
| follow-implications | ( constraint -- ) |
| is-equal-to | ( value literal -- constraint ) |
| is-in-interval | ( value interval -- constraint ) |
| is-instance-of | ( value class -- constraint ) |
| maybe-add | ( elt seq -- seq' ) |
| t--> | ( constraint boolean-value -- constraint' ) |
Class predicate words
| Word | Stack effect |
| class-constraint? | ( object -- ? ) |
| equivalence? | ( object -- ? ) |
| false-constraint? | ( object -- ? ) |
| implication? | ( object -- ? ) |
| interval-constraint? | ( object -- ? ) |
| literal-constraint? | ( object -- ? ) |
| true-constraint? | ( object -- ? ) |
Files