|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IExprQ
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 |
---|
IExpr operand()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |