assume* ( constraint -- )

Vocabulary

compiler.tree.propagation.constraints

Inputs

constraint

an object

Outputs

None

Definition

IN: compiler.tree.propagation.constraints

GENERIC: assume* ( constraint -- )

Methods

USING: accessors compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: class-constraint assume*
    [ class>> <class-info> ] [ value>> ] bi refine-value-info ;


USING: accessors compiler.tree.propagation.constraints kernel ;

M: equivalence assume*
    [ p>> ] [ q>> ] bi
    [ assume-implication ] [ swap assume-implication ] 2bi ;


USING: compiler.tree.propagation.constraints kernel ;

M: f assume* drop ;


USING: accessors compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: false-constraint assume*
    [ \ f <class-info> swap value>> refine-value-info ]
    [ follow-implications ] bi ;


USING: accessors compiler.tree.propagation.constraints kernel ;

M: implication assume* [ q>> ] [ p>> ] bi assume-implication ;


USING: accessors compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: interval-constraint assume*
    [ interval>> <interval-info> ] [ value>> ] bi
    refine-value-info ;


USING: accessors compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: literal-constraint assume*
    [ literal>> <literal-info> ] [ value>> ] bi
    refine-value-info ;


USING: compiler.tree.propagation.constraints sequences ;

M: sequence assume* [ assume ] each ;


USING: accessors classes.algebra
compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: true-constraint assume*
    [
        \ f class-not <class-info> swap value>>
        refine-value-info
    ] [ follow-implications ] bi ;