nts.interf.expr
Interface IExprForall

All Superinterfaces:
IExpr, IExprQ, ILabel, IScope, IVisitable

public interface IExprForall
extends IExprQ


Method Summary
 
Methods inherited from interface nts.interf.base.IExprQ
operand
 
Methods inherited from interface nts.interf.base.IExpr
type
 
Methods inherited from interface nts.interf.base.IVisitable
accept
 
Methods inherited from interface nts.interf.base.IScope
varTable