nts.interf.expr
Interfaces 
IAccessBasic
IAccessIndexed
IAccessMulti
IExprAnd
IExprArraySize
IExprDivide
IExprEq
IExprEquiv
IExprExists
IExprForall
IExprGeq
IExprGt
IExprImpl
IExprLeq
IExprList
IExprLt
IExprMinus
IExprMult
IExprNeq
IExprNot
IExprOr
IExprPlus
IExprRemainder
IExprUnaryMinus
IHavoc
ILitBool
ILitInt
ILitReal