czt.zxml.ast
Class QntExpr_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Expr
              |
              +--czt.zxml.ast.QntExpr
                    |
                    +--czt.zxml.ast.QntExpr_Parsed

All Implemented Interfaces:

java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable

Direct Known Subclasses:

QntExpr_Exists, QntExpr_Exists1, QntExpr_Forall, QntExpr_Lambda, QntExpr_Let, QntExpr_Mu, QntExpr_Set

public abstract class QntExpr_Parsed

extends QntExpr

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
Expr	expr
TextSch	sch

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

QntExpr_Parsed(TextSch sch, Expr expr)

Method Summary

zeta.util.Annotation

getAnnotation()

Methods inherited from class zeta.util.Term

, clone, equals, getSubtermFields, getTagField, intern, internArray, toFormat, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

sch

public TextSch sch

expr

public Expr expr

ann

public zeta.util.Annotation ann

Constructor Detail

QntExpr_Parsed

public QntExpr_Parsed(TextSch sch,
                      Expr expr)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()