net.sourceforge.czt.z.ast

Interface QntPred

All Superinterfaces:

Pred, Term

All Known Subinterfaces:

Exists1Pred, ExistsPred, ForallPred

All Known Implementing Classes:

Exists1PredImpl, ExistsPredImpl, ForallPredImpl, QntPredImpl

public interface QntPred
extends Pred

An abstract quantifier like predicate.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Pred	getPred() Returns the Pred element.
SchText	getSchText() Returns the SchText element.
ZSchText	getZSchText() This is a convenience method.
void	setPred(Pred pred) Sets the Pred 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()

getPred

Pred getPred()

Returns the Pred element.

Returns:

the Pred element.

setPred

void setPred(Pred pred)

Sets the Pred element.

Parameters:

pred - the Pred element.

See Also:

getPred()

getZSchText

ZSchText getZSchText()

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