normalize-complement ( class -- class' )

Vocabulary

classes.algebra.private

Inputs

class

an object

Outputs

class'

an object

Definition

USING: accessors classes.algebra combinators kernel sequences ;

IN: classes.algebra.private

: normalize-complement ( class -- class' )
    class>> normalize-class {
        {
            [ dup anonymous-union? ]
            [
                members>> [ class-not normalize-class ] map
                <anonymous-intersection>
            ]
        }
        {
            [ dup anonymous-intersection? ]
            [
                participants>> [ class-not normalize-class ] map
                <anonymous-union>
            ]
        }
        [ drop object ]
    } cond ;