net.sourceforge.czt.z.ast

Interface QntExpr

All Superinterfaces:

Expr, Term

All Known Subinterfaces:

Exists1Expr, ExistsExpr, ForallExpr, LambdaExpr, LetExpr, MuExpr, Qnt1Expr, SetCompExpr

All Known Implementing Classes:

Exists1ExprImpl, ExistsExprImpl, ForallExprImpl, LambdaExprImpl, LetExprImpl, MuExprImpl, Qnt1ExprImpl, QntExprImpl, SetCompExprImpl

public interface QntExpr
extends Expr

An abstract quantifier-like expression.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Expr	getExpr() Returns the Expr element.
SchText	getSchText() Returns the SchText element.
ZSchText	getZSchText() This is a convenience method.
void	setExpr(Expr expr) Sets the Expr element.
void	setSchText(SchText schText) Sets the SchText element.

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getSchText

SchText getSchText()

Returns the SchText element.

Returns:

the SchText element.

setSchText

void setSchText(SchText schText)

Sets the SchText element.

Parameters:

schText - the SchText element.

See Also:

getSchText()

getExpr

Expr getExpr()

Returns the Expr element.

Returns:

the Expr element.

setExpr

void setExpr(Expr expr)

Sets the Expr element.

Parameters:

expr - the Expr element.

See Also:

getExpr()

getZSchText

ZSchText getZSchText()

This is a convenience method. It returns the ZSchText if SchText is an instance of ZSchText and throws an UnsupportedAstClassException otherwise.