compiler.tree.propagation.constraints vocabulary
Factor handbook » Vocabulary index

Documentation
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 -- 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

Word	Stack effect
class-constraint?	( object -- ? )
equivalence?	( object -- ? )
false-constraint?	( object -- ? )
implication?	( object -- ? )
interval-constraint?	( object -- ? )
literal-constraint?	( object -- ? )
true-constraint?	( object -- ? )

Files

resource:basis/compiler/tree/propagation/constraints/constraints.factor
resource:basis/compiler/tree/propagation/constraints/constraints-docs.factor

Metadata files

resource:basis/compiler/tree/propagation/constraints/summary.txt