at.jku.risc.stout.hoau.data.atom
public class Function extends TermAtom
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Function obj) |
String |
getType() |
boolean |
isBasicType() |
void |
print(Writer out) |
appendType, clone, compareTo, equals, getName, getOriginName, hashCode
public boolean equals(Function obj)
public boolean isBasicType()
isBasicType
in class TermAtom
public void print(Writer out) throws IOException
print
in class Printable
IOException