czt.zxml.ast
Class ConjPara_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Para
              |
              +--czt.zxml.ast.ConjPara
                    |
                    +--czt.zxml.ast.ConjPara_Parsed

All Implemented Interfaces:

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

public class ConjPara_Parsed

extends ConjPara

implements Annotated

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
TermList	declnames
Pred	pred

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

ConjPara_Parsed(java.util.List declnames, Pred pred)

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

declnames

public TermList declnames

pred

public Pred pred

ann

public zeta.util.Annotation ann

Constructor Detail

ConjPara_Parsed

public ConjPara_Parsed(java.util.List declnames,
                       Pred pred)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()

Specified by:

getAnnotation in interface Annotated