Documentation
Support for predicated value info

Words

Tuple classes
ClassSuperclassSlots
class-constraint tuplevalue class
equivalence tuplep q
false-constraint tuplevalue
implication tuplep q
interval-constraint tuplevalue interval
literal-constraint tuplevalue literal
true-constraint tuplevalue


Generic words
WordStack effect
assume*( constraint -- )
satisfied?( constraint -- ? )


Symbol words
constraints


Ordinary words
WordStack effect
-->( p q -- implication )
<-->( p q -- equivalence )
=f( value -- constraint )
=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
WordStack effect
class-constraint?( object -- ? )
equivalence?( object -- ? )
false-constraint?( object -- ? )
implication?( object -- ? )
interval-constraint?( object -- ? )
literal-constraint?( object -- ? )
true-constraint?( object -- ? )


Files