test2.node
クラス ATermExpr

java.lang.Object
  test2.node.Node
      test2.node.PExpr
          test2.node.ATermExpr

すべての実装インタフェース:

java.lang.Cloneable, Switchable

public final class ATermExpr

extends PExpr

コンストラクタの概要

ATermExpr()

ATermExpr(PTerm _term_)

メソッドの概要

void	apply(Switch sw)
java.lang.Object	clone()
PTerm	getTerm()
void	setTerm(PTerm node)
java.lang.String	toString()

クラス test2.node.Node から継承したメソッド

cloneList, cloneNode, parent, replaceBy, toString, toString

クラス java.lang.Object から継承したメソッド

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

コンストラクタの詳細

ATermExpr

public ATermExpr()

ATermExpr

public ATermExpr(PTerm _term_)

メソッドの詳細

clone

public java.lang.Object clone()

定義:

クラス Node 内の clone

apply

public void apply(Switch sw)

getTerm

public PTerm getTerm()

setTerm

public void setTerm(PTerm node)

toString

public java.lang.String toString()