Uses of Class
org.projog.clp.bool.Implication

Packages that use Implication

Package	Description
org.projog.clp.bool	Contains boolean constraints.

Uses of Implication in org.projog.clp.bool

Methods in org.projog.clp.bool that return Implication

Modifier and Type	Method	Description
Implication	Implication.replace(Function<LeafExpression, LeafExpression> r)