implication

Vocabulary

compiler.tree.propagation.constraints

Class description

An implication constraint.

Definition

IN: compiler.tree.propagation.constraints

TUPLE: implication p q ;

Methods

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

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