boolean-expr vocabulary
Factor handbook > Vocabulary index


Documentation
Boolean expressions

Meta-data
Authors:Slava Pestov


Words

Tuple classes
ClassSuperclassSlots
¬ tuplex
tuplex y
tuplex y


Singleton classes
P
Q
R
S
T
U
V
W
X
Y
Z


Union classes


Ordinary words
WordStack effect
(dnf)( expr -- dnf )
(expr.)( expr -- )
(satisfiable?)( seq -- ? )
dnf( expr -- dnf )
expr.( expr -- )
op.( expr -- )
satisfiable?( expr -- ? )
¬( x -- expr )
( x y -- expr )
( x y -- expr )
( x y -- expr )
( x y -- expr )
( x y -- expr )


Class predicate words
WordStack effect
P?( object -- ? )
Q?( object -- ? )
R?( object -- ? )
S?( object -- ? )
T?( object -- ? )
U?( object -- ? )
V?( object -- ? )
W?( object -- ? )
X?( object -- ? )
Y?( object -- ? )
Z?( object -- ? )
¬?( object -- ? )
⊤?( object -- ? )
⊥?( object -- ? )
⋀?( object -- ? )
⋁?( object -- ? )
□?( object -- ? )


Files