czt.zxml.ast
Class LogExpr_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Expr
              |
              +--czt.zxml.ast.LogExpr
                    |
                    +--czt.zxml.ast.LogExpr_Parsed
All Implemented Interfaces:
java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable
Direct Known Subclasses:
LogExpr_And, LogExpr_Iff, LogExpr_Imp, LogExpr_Or

public abstract class LogExpr_Parsed
extends LogExpr

See Also:
Serialized Form

Field Summary
 zeta.util.Annotation ann
           
 Expr expr1
           
 Expr expr2
           
 
Fields inherited from class zeta.util.Term
interned, internTab
 
Constructor Summary
LogExpr_Parsed(Expr expr1, Expr expr2)
           
 
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

expr1

public Expr expr1

expr2

public Expr expr2

ann

public zeta.util.Annotation ann
Constructor Detail

LogExpr_Parsed

public LogExpr_Parsed(Expr expr1,
                      Expr expr2)
Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()