czt.zxml.ast
Class QntPred_Exists1

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

All Implemented Interfaces:

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

public class QntPred_Exists1

extends QntPred_Parsed

See Also:

Serialized Form

Fields inherited from class czt.zxml.ast.QntPred_Parsed

ann, pred, sch

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

QntPred_Exists1(TextSch sch, Pred pred)

Methods inherited from class czt.zxml.ast.QntPred_Parsed

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

Constructor Detail

QntPred_Exists1

public QntPred_Exists1(TextSch sch,
                       Pred pred)