czt.zxml.ast
Class LogPred_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Pred
              |
              +--czt.zxml.ast.LogPred
                    |
                    +--czt.zxml.ast.LogPred_Parsed

All Implemented Interfaces:

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

Direct Known Subclasses:

LogPred_Conjunction, LogPred_Iff, LogPred_Imp, LogPred_Or

public abstract class LogPred_Parsed

extends LogPred

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
Pred	pred1
Pred	pred2

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

LogPred_Parsed(Pred pred1, Pred pred2)

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

pred1

public Pred pred1

pred2

public Pred pred2

ann

public zeta.util.Annotation ann

Constructor Detail

LogPred_Parsed

public LogPred_Parsed(Pred pred1,
                      Pred pred2)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()