at.jku.risc.stout.nau.data.atom

Class Suspension

java.lang.Object

at.jku.risc.stout.nau.util.Printable

at.jku.risc.stout.nau.data.atom.NominalTerm

at.jku.risc.stout.nau.data.atom.Suspension

All Implemented Interfaces:

HasSort<Sort>, DeepCopy<NominalTerm>, Traversable<NominalTerm>

public class Suspension
extends NominalTerm

A suspension is a NominalTerm which consists of a Permutation and a Variable.

Author:

Alexander Baumgartner

Nested Class Summary

Nested classes/interfaces inherited from interface at.jku.risc.stout.nau.util.Traversable

Traversable.TraverseCallBack<T>

Constructor Summary

Constructors

Constructor and Description
Suspension(Variable var) Instantiates a new suspension with an empty Permutation.
Suspension(Variable var, Permutation perm) Instantiates a new suspension with the given Permutation.

Method Summary

Methods

Modifier and Type	Method and Description
void	collectAtoms(Set<Atom> atoms)
Suspension	deepCopy() Returns a deep copy of this object.
boolean	equals(Object other)
HasSort<Sort>	getHead()
Permutation	getPerm()
Sort	getSort()
Variable	getVar()
boolean	isFresh(Atom atom, FreshnessCtx nabla)
NominalTerm	permute(Permutation perm)
void	printString(Writer toPrint) Writes a string representation of this object into an arbitrary Writer.
void	setPerm(Permutation perm)
void	setSort(Sort sort)
void	setVar(Variable var)
NominalTerm	substitute(Variable fromVar, NominalTerm toTerm)
NominalTerm	swap(Atom a1, Atom a2)

Methods inherited from class at.jku.risc.stout.nau.data.atom.NominalTerm

equivalent, traverse

Methods inherited from class at.jku.risc.stout.nau.util.Printable

printString, toString

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Suspension

public Suspension(Variable var)

Instantiates a new suspension with an empty Permutation.

Suspension

public Suspension(Variable var,
          Permutation perm)

Instantiates a new suspension with the given Permutation. The given Permutation must not be null.

Method Detail

collectAtoms

public void collectAtoms(Set<Atom> atoms)

Specified by:

collectAtoms in class NominalTerm

deepCopy

public Suspension deepCopy()

Description copied from interface: DeepCopy

Returns a deep copy of this object. All the referenced objects will be copied.

equals

public boolean equals(Object other)

Overrides:

equals in class Object

getHead

public HasSort<Sort> getHead()

Specified by:

getHead in class NominalTerm

getPerm

public Permutation getPerm()

getSort

public Sort getSort()

getVar

public Variable getVar()

isFresh

public boolean isFresh(Atom atom,
              FreshnessCtx nabla)

Specified by:

isFresh in class NominalTerm

permute

public NominalTerm permute(Permutation perm)

Specified by:

permute in class NominalTerm

printString

public void printString(Writer toPrint)
                 throws IOException

Description copied from class: Printable

Writes a string representation of this object into an arbitrary Writer.

Specified by:

printString in class Printable

Throws:

IOException

setPerm

public void setPerm(Permutation perm)

setSort

public void setSort(Sort sort)
             throws MalformedSortException

Throws:

MalformedSortException

setVar

public void setVar(Variable var)

substitute

public NominalTerm substitute(Variable fromVar,
                     NominalTerm toTerm)
                       throws MalformedSortException

Specified by:

substitute in class NominalTerm

Throws:

MalformedSortException

swap

public NominalTerm swap(Atom a1,
               Atom a2)
                 throws MalformedSortException

Specified by:

swap in class NominalTerm

Throws:

MalformedSortException