public final class ATerm extends PTerm
| Constructor and Description |
|---|
ATerm() |
ATerm(TName _functor_,
PParams _params_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
TName |
getFunctor() |
PParams |
getParams() |
void |
setFunctor(TName node) |
void |
setParams(PParams node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic void apply(Switch sw)
public TName getFunctor()
public void setFunctor(TName node)
public PParams getParams()
public void setParams(PParams node)
public java.lang.String toString()
toString in class java.lang.Object