Uses of Class
org.clafer.ir.IrNotImplies

Packages that use IrNotImplies

Package	Description
org.clafer.ir	This package provides the IR used as in intermediate language during compilation.

Uses of IrNotImplies in org.clafer.ir

Methods in org.clafer.ir with parameters of type IrNotImplies

Modifier and Type	Method and Description
B	IrBoolExprVisitorAdapter.visit(IrNotImplies ir, A a)
B	IrBoolExprVisitor.visit(IrNotImplies ir, A a)
IrBoolExpr	IrRewriter.visit(IrNotImplies ir, T a)