czt.zxml.ast
Class LogPred_Imp

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

All Implemented Interfaces:

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

public class LogPred_Imp

extends LogPred_Parsed

See Also:

Serialized Form

Fields inherited from class czt.zxml.ast.LogPred_Parsed

ann, pred1, pred2

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

LogPred_Imp(Pred pred1, Pred pred2)

Methods inherited from class czt.zxml.ast.LogPred_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

LogPred_Imp

public LogPred_Imp(Pred pred1,
                   Pred pred2)