at.jku.risc.stout.nau.data.atom
public class Atom extends NominalTerm
Traversable.TraverseCallBack<T>
Constructor and Description |
---|
Atom(String name)
Instantiates an atom of the specified name.
|
Atom(String name,
String nameOrigin)
Instantiates an atom of the specified name.
|
Modifier and Type | Method and Description |
---|---|
void |
collectAtoms(Set<Atom> atoms) |
NominalTerm |
deepCopy()
Returns a deep copy of this object.
|
HasSort<Sort> |
getHead() |
String |
getName() |
String |
getNameOrigin() |
SortAtom |
getSort() |
boolean |
isFresh(Atom atom,
FreshnessCtx nabla) |
Atom |
permute(Permutation perm) |
void |
printString(Writer toPrint)
Writes a string representation of this object into an arbitrary
Writer.
|
void |
setNameOrigin(String nameOrigin) |
void |
setSort(Sort sort) |
NominalTerm |
substitute(Variable fromVar,
NominalTerm toTerm) |
Atom |
swap(Atom a1,
Atom a2) |
equivalent, traverse
printString, toString
public Atom(String name)
NodeFactory
to create new Atom
s! The use of NodeFactory
guarantees
the uniqueness of equal Atom
s. This uniqueness enables very fast
equality testing, hash-code generation, comparison of atoms,... and it
keeps the memory overhead as small as possible.public Atom(String name, String nameOrigin)
NodeFactory
to create new Atom
s! The use of NodeFactory
guarantees
the uniqueness of equal Atom
s. This uniqueness enables very fast
equality testing, hash-code generation, comparison of atoms,... and it
keeps the memory overhead as small as possible.public void collectAtoms(Set<Atom> atoms)
collectAtoms
in class NominalTerm
public NominalTerm deepCopy()
DeepCopy
public HasSort<Sort> getHead()
getHead
in class NominalTerm
public String getName()
public String getNameOrigin()
public SortAtom getSort()
public boolean isFresh(Atom atom, FreshnessCtx nabla)
isFresh
in class NominalTerm
public Atom permute(Permutation perm)
permute
in class NominalTerm
public void printString(Writer toPrint) throws IOException
Printable
printString
in class Printable
IOException
public void setNameOrigin(String nameOrigin)
public void setSort(Sort sort) throws MalformedSortException
MalformedSortException
public NominalTerm substitute(Variable fromVar, NominalTerm toTerm)
substitute
in class NominalTerm
public Atom swap(Atom a1, Atom a2)
swap
in class NominalTerm