boolean-expr vocabulary
Factor handbook » Vocabulary index

Documentation
Boolean expressions

Metadata

Authors:

Slava Pestov

Words

Tuple classes

Class	Superclass	Slots
¬	tuple	x
⋀	tuple	x y
⋁	tuple	x y

Singleton classes

P

Q

R

S

T

U

V

W

X

Y

Z

⊤

⊥

Union classes

□

Ordinary words

Word	Stack 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

Word	Stack 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

resource:extra/boolean-expr/boolean-expr.factor
resource:extra/boolean-expr/boolean-expr-docs.factor
resource:extra/boolean-expr/boolean-expr-tests.factor

Metadata files

resource:extra/boolean-expr/authors.txt
resource:extra/boolean-expr/summary.txt