at.jku.risc.stout.nau.data

Class NominalPair

java.lang.Object

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

at.jku.risc.stout.nau.data.NominalPair

All Implemented Interfaces:

DeepCopy<NominalPair>

public class NominalPair
extends Printable
implements DeepCopy<NominalPair>

A nominal pair is a pair consisting of one freshness context ( FreshnessCtx) and one nominal term (NominalTerm). The freshness context is often referred as nabla.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static String	pairEnd The closing parenthesis used to group a nominal pair, Default = '>'
static String	pairSeparator The character used to separate the two parts of a nominal pair, Default = '; '
static String	pairStart The opening parenthesis used to group a nominal pair, Default = '<'

Constructor Summary

Constructors

Constructor and Description
NominalPair(FreshnessCtx freshEnv, NominalTerm term) Instantiates a nominal pair with then given freshness context and nominal term.
NominalPair(NominalTerm term) Instantiates a nominal pair with an empty freshness context.

Method Summary

Methods

Modifier and Type	Method and Description
NominalPair	deepCopy() Returns a deep copy of this object.
boolean	equals(Object other)
FreshnessCtx	getFreshEnv() Returns the freshness context (FreshnessCtx) of this nominal pair.
NominalTerm	getTerm() Returns the nominal term (NominalTerm) of this nominal pair.
static void	printPair(Writer toPrint, FreshnessCtx freshEnv, NominalTerm term)
void	printString(Writer toPrint) Writes a string representation of this object into an arbitrary Writer.
boolean	prooveFresh(Atom atom) Tests whether the given atom is fresh in the nominal term respecting the freshness context.
void	setFreshEnv(FreshnessCtx freshEnv) Changes the freshness context (FreshnessCtx) of this nominal pair.
void	setTerm(NominalTerm term) Changes the nominal term (NominalTerm) of this nominal pair.
void	substitute(Variable fromVar, NominalTerm toTerm) Applies a substitution to the nominal pair.
void	swap(Atom a1, Atom a2) Applies a swapping to this nominal pair.

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

Field Detail

pairEnd

public static String pairEnd

The closing parenthesis used to group a nominal pair, Default = '>'

pairSeparator

public static String pairSeparator

The character used to separate the two parts of a nominal pair, Default = '; '

pairStart

public static String pairStart

The opening parenthesis used to group a nominal pair, Default = '<'

Constructor Detail

NominalPair

public NominalPair(FreshnessCtx freshEnv,
           NominalTerm term)

Instantiates a nominal pair with then given freshness context and nominal term.

NominalPair

public NominalPair(NominalTerm term)

Instantiates a nominal pair with an empty freshness context.

See Also:

NominalPair(FreshnessCtx, NominalTerm)

Method Detail

deepCopy

public NominalPair deepCopy()

Description copied from interface: DeepCopy

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

Specified by:

deepCopy in interface DeepCopy<NominalPair>

equals

public boolean equals(Object other)

Overrides:

equals in class Object

getFreshEnv

public FreshnessCtx getFreshEnv()

Returns the freshness context (FreshnessCtx) of this nominal pair.

getTerm

public NominalTerm getTerm()

Returns the nominal term (NominalTerm) of this nominal pair.

printPair

public static void printPair(Writer toPrint,
             FreshnessCtx freshEnv,
             NominalTerm term)
                      throws IOException

Throws:

IOException

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

prooveFresh

public boolean prooveFresh(Atom atom)

Tests whether the given atom is fresh in the nominal term respecting the freshness context.

setFreshEnv

public void setFreshEnv(FreshnessCtx freshEnv)

Changes the freshness context (FreshnessCtx) of this nominal pair.

setTerm

public void setTerm(NominalTerm term)

Changes the nominal term (NominalTerm) of this nominal pair.

substitute

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

Applies a substitution to the nominal pair.

Throws:

MalformedSortException

swap

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

Applies a swapping to this nominal pair. The swapping is applied to both, the term and the freshness context.

Throws:

MalformedSortException