Uses of Interface
nts.interf.expr.IExprForall

Packages that use IExprForall
nts.interf.base   
 

Uses of IExprForall in nts.interf.base
 

Methods in nts.interf.base with parameters of type IExprForall
 void IVisitor.visit(IExprForall e)