at.jku.risc.stout.hoau.data.atom
public class Lambda extends TermAtom
Constructor and Description |
---|
Lambda(BoundVariable boundVar) |
Modifier and Type | Method and Description |
---|---|
TermAtom |
clone() |
boolean |
equals(Object obj) |
BoundVariable |
getBoundVar()
Returns the variable which is bound by this lambda binding.
|
String |
getType() |
boolean |
isBasicType() |
void |
print(Writer out) |
appendType, compareTo, getName, getOriginName, hashCode
public Lambda(BoundVariable boundVar)
public BoundVariable getBoundVar()
public boolean isBasicType()
isBasicType
in class TermAtom
public void print(Writer out) throws IOException
print
in class Printable
IOException