at.jku.risc.stout.nau.data.atom
public class FunctionApplication extends NominalTerm
Traversable.TraverseCallBack<T>
Modifier and Type | Field and Description |
---|---|
static NominalTerm[] |
emptyArgs |
Constructor and Description |
---|
FunctionApplication(FunctionSymbol fncSymb)
Instantiates a constant without arguments.
|
FunctionApplication(FunctionSymbol fncSymb,
List<NominalTerm> args)
Instantiates a function application with the given arguments.
|
FunctionApplication(FunctionSymbol fncSymb,
NominalTerm[] args)
Instantiates a function application with the given arguments.
|
Modifier and Type | Method and Description |
---|---|
void |
collectAtoms(Set<Atom> atoms) |
FunctionApplication |
deepCopy()
Returns a deep copy of this object.
|
boolean |
equals(Object other) |
NominalTerm[] |
getArgs() |
FunctionSymbol |
getFncSymb() |
HasSort<SortData> |
getHead() |
Sort |
getSort()
Same as getFncSymb().getSortRet()
|
boolean |
isFresh(Atom atom,
FreshnessCtx nabla) |
NominalTerm |
permute(Permutation perm) |
void |
printString(Writer writer)
Writes a string representation of this object into an arbitrary
Writer.
|
void |
setSort(Sort sort) |
NominalTerm |
substitute(Variable fromVar,
NominalTerm toTerm) |
NominalTerm |
swap(Atom a1,
Atom a2) |
equivalent, traverse
printString, toString
public static final NominalTerm[] emptyArgs
public FunctionApplication(FunctionSymbol fncSymb) throws MalformedSortException
MalformedSortException
public FunctionApplication(FunctionSymbol fncSymb, List<NominalTerm> args) throws MalformedSortException
FunctionApplication(FunctionSymbol, NominalTerm[])
if possible.MalformedSortException
public FunctionApplication(FunctionSymbol fncSymb, NominalTerm[] args) throws MalformedSortException
MalformedSortException
public void collectAtoms(Set<Atom> atoms)
collectAtoms
in class NominalTerm
public FunctionApplication deepCopy()
DeepCopy
public NominalTerm[] getArgs()
public FunctionSymbol getFncSymb()
public HasSort<SortData> getHead()
getHead
in class NominalTerm
public Sort getSort()
public boolean isFresh(Atom atom, FreshnessCtx nabla)
isFresh
in class NominalTerm
public NominalTerm permute(Permutation perm)
permute
in class NominalTerm
public void printString(Writer writer) throws IOException
Printable
printString
in class Printable
IOException
public void setSort(Sort sort) throws MalformedSortException
MalformedSortException
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