public final class AVariableTerm extends PTerm
Constructor and Description |
---|
AVariableTerm() |
AVariableTerm(TVariable _variable_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
TVariable |
getVariable() |
void |
setVariable(TVariable node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AVariableTerm()
public AVariableTerm(TVariable _variable_)