nts.interf.base
Interface IExprQ

All Superinterfaces:
IExpr, ILabel, IScope, IVisitable
All Known Subinterfaces:
IExprExists, IExprForall

public interface IExprQ
extends IExpr, IScope

Base interface for quantifier expressions. Only scalar variables can be quantified.


Method Summary
 IExpr 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
 

Method Detail

operand

IExpr operand()
Returns:
the operand