at.jku.risc.stout.nau.data.atom
public class Abstraction extends NominalTerm
Traversable.TraverseCallBack<T>
Constructor and Description |
---|
Abstraction(Atom boundAtom,
NominalTerm subTerm) |
Modifier and Type | Method and Description |
---|---|
void |
collectAtoms(Set<Atom> atoms) |
Abstraction |
deepCopy()
Returns a deep copy of this object.
|
boolean |
equals(Object other) |
Atom |
getBoundAtom() |
HasSort<Sort> |
getHead() |
Sort |
getSort() |
NominalTerm |
getSubTerm() |
boolean |
isFresh(Atom atom,
FreshnessCtx nabla) |
Abstraction |
permute(Permutation perm) |
void |
printString(Writer toPrint)
Writes a string representation of this object into an arbitrary
Writer.
|
void |
setBoundAtom(Atom boundAtom) |
void |
setSort(Sort sort) |
void |
setSubTerm(NominalTerm subTerm) |
NominalTerm |
substitute(Variable fromVar,
NominalTerm toTerm) |
NominalTerm |
swap(Atom a1,
Atom a2) |
equivalent, traverse
printString, toString
public Abstraction(Atom boundAtom, NominalTerm subTerm)
public void collectAtoms(Set<Atom> atoms)
collectAtoms
in class NominalTerm
public Abstraction deepCopy()
DeepCopy
public Atom getBoundAtom()
public HasSort<Sort> getHead()
getHead
in class NominalTerm
public Sort getSort()
public NominalTerm getSubTerm()
public boolean isFresh(Atom atom, FreshnessCtx nabla)
isFresh
in class NominalTerm
public Abstraction permute(Permutation perm)
permute
in class NominalTerm
public void printString(Writer toPrint) throws IOException
Printable
printString
in class Printable
IOException
public void setBoundAtom(Atom boundAtom)
public void setSort(Sort sort) throws MalformedSortException
MalformedSortException
public void setSubTerm(NominalTerm subTerm)
public NominalTerm substitute(Variable fromVar, NominalTerm toTerm) throws MalformedSortException
substitute
in class NominalTerm
MalformedSortException
public NominalTerm swap(Atom a1, Atom a2) throws MalformedSortException
swap
in class NominalTerm
MalformedSortException