czt.zxml.ast
Class QntPred_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Pred
              |
              +--czt.zxml.ast.QntPred
                    |
                    +--czt.zxml.ast.QntPred_Parsed

All Implemented Interfaces:

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

Direct Known Subclasses:

QntPred_Exists, QntPred_Exists1, QntPred_Forall

public abstract class QntPred_Parsed

extends QntPred

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
Pred	pred
TextSch	sch

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

QntPred_Parsed(TextSch sch, Pred pred)

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

pred

public Pred pred

ann

public zeta.util.Annotation ann

Constructor Detail

QntPred_Parsed

public QntPred_Parsed(TextSch sch,
                      Pred pred)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()