equivalence

Vocabulary

compiler.tree.propagation.constraints

Variable description

An equivalence constraint.

Definition

IN: compiler.tree.propagation.constraints

TUPLE: equivalence p q ;

Methods

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

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