czt.zxml.ast
Class TruePred

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

All Implemented Interfaces:

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

public class TruePred

extends Pred

implements Annotated

See Also:

Serialized Form

Field Summary

zeta.util.Annotation

ann

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

TruePred()

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

ann

public zeta.util.Annotation ann

Constructor Detail

TruePred

public TruePred()

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()

Specified by:

getAnnotation in interface Annotated