nts.interf.base
Interface ILabel

All Superinterfaces:
IVisitable
All Known Subinterfaces:
IAccess, IAccessBasic, IAccessIndexed, IAccessMulti, ICall, IExpr, IExprAnd, IExprArraySize, IExprBin, IExprDivide, IExprEq, IExprEquiv, IExprExists, IExprForall, IExprGeq, IExprGt, IExprImpl, IExprLeq, IExprList, IExprLt, IExprMinus, IExprMult, IExprNeq, IExprNot, IExprOr, IExprPlus, IExprQ, IExprRemainder, IExprUn, IExprUnaryMinus, IHavoc, ILitBool, ILitReal

public interface ILabel
extends IVisitable

The base interface for transition labels.


Method Summary
 
Methods inherited from interface nts.interf.base.IVisitable
accept