|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
java.lang.Object
|
+--zeta.util.Term
|
+--czt.zxml.ast.Pred
|
+--czt.zxml.ast.QntPred
|
+--czt.zxml.ast.QntPred_Parsed
|
+--czt.zxml.ast.QntPred_Exists
| Fields inherited from class czt.zxml.ast.QntPred_Parsed |
ann, pred, sch |
| Fields inherited from class zeta.util.Term |
interned, internTab |
| Constructor Summary | |
QntPred_Exists(TextSch sch,
Pred pred)
|
|
| Methods inherited from class czt.zxml.ast.QntPred_Parsed |
getAnnotation |
| Methods inherited from class zeta.util.Term |
|
| Methods inherited from class java.lang.Object |
finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
| Constructor Detail |
public QntPred_Exists(TextSch sch,
Pred pred)
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||