at.jku.risc.stout.nau.data

Class FreshnessCtx

java.lang.Object

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

at.jku.risc.stout.nau.data.FreshnessCtx

All Implemented Interfaces:

DeepCopy<FreshnessCtx>

public class FreshnessCtx
extends Printable
implements DeepCopy<FreshnessCtx>

A freshness context is a set of the form {a#X, b#Y,...} where a,b,... are atoms and X,Y,... are variables, stating that the atom a is fresh in X, b is fresh in Y,.... A nominal pair (NominalPair) consists of a freshness context and a nominal term (NominalTerm).

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
FreshnessCtx()
FreshnessCtx(int sizeAtomIdx, int sizeVarIdx)

Method Summary

Methods

Modifier and Type	Method and Description
void	addFreshConstraint(Atom atom, NominalTerm... nomTerms) Add freshness constraints as needed, such that the given atom is fresh in all the given nominal terms.
boolean	contains(Atom atom, Variable var)
FreshnessCtx	deepCopy() Returns a deep copy of this object.
Set<Variable>	get(Atom fresh)
Set<Atom>	get(Variable fresh)
boolean	isEmpty()
boolean	isSubsetOf(FreshnessCtx other)
void	printString(Writer toPrint) Writes a string representation of this object into an arbitrary Writer.
void	put(Atom freshA, Collection<Variable> forVar)
void	put(Atom freshA, Variable... forVar)
void	put(Variable forVar, Atom... freshA)
void	put(Variable forVar, Collection<Atom> freshA)
void	remove(Atom freshA, Variable forVar)
Set<Variable>	removeAll(Atom atom)
Set<Atom>	removeAll(Variable var)
void	substitute(Variable fromVar, NominalTerm toTerm)
FreshnessCtx	swap(Atom a, Atom b) Creates a new freshness context with swapped atoms.

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

printString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

FreshnessCtx

public FreshnessCtx()

FreshnessCtx

public FreshnessCtx(int sizeAtomIdx,
            int sizeVarIdx)

Method Detail

addFreshConstraint

public void addFreshConstraint(Atom atom,
                      NominalTerm... nomTerms)

Add freshness constraints as needed, such that the given atom is fresh in all the given nominal terms.

contains

public boolean contains(Atom atom,
               Variable var)

deepCopy

public FreshnessCtx 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<FreshnessCtx>

get

public Set<Variable> get(Atom fresh)

get

public Set<Atom> get(Variable fresh)

isEmpty

public boolean isEmpty()

isSubsetOf

public boolean isSubsetOf(FreshnessCtx other)

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

put

public void put(Atom freshA,
       Collection<Variable> forVar)

put

public void put(Atom freshA,
       Variable... forVar)

put

public void put(Variable forVar,
       Atom... freshA)

put

public void put(Variable forVar,
       Collection<Atom> freshA)

remove

public void remove(Atom freshA,
          Variable forVar)

removeAll

public Set<Variable> removeAll(Atom atom)

removeAll

public Set<Atom> removeAll(Variable var)

substitute

public void substitute(Variable fromVar,
              NominalTerm toTerm)

swap

public FreshnessCtx swap(Atom a,
                Atom b)

Creates a new freshness context with swapped atoms. This one is not modified.