classes-intersect? ( first second -- ? )
Factor handbook » The language » Objects » Classes » Class operations

Prev:	class-or ( first second -- class )
Next:	flatten-class ( class -- seq )

Vocabulary
classes.algebra

Inputs

first	a class
second	a class

Outputs

?

a boolean

Word description
Tests if two classes have a non-empty intersection. If the intersection is empty, no object can be an instance of both classes at once.

Definition

USING: classes.algebra.private classes.private kernel namespaces
;

IN: classes.algebra

: classes-intersect? ( first second -- ? )
    [ normalize-class ] bi@ classes-intersect-cache get
    [ (classes-intersect?) ] symmetric-class-op ;