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

Class Permutation

java.lang.Object

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

All Implemented Interfaces:

DeepCopy<Permutation>

public class Permutation
extends Object
implements DeepCopy<Permutation>

A permutation of atoms which may be composed by swappings.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static String	idString

Constructor Summary

Constructors

Constructor and Description
Permutation()
Permutation(int initSize)

Method Summary

Methods

Modifier and Type	Method and Description
void	addSwappingHead(Atom a1, Atom a2) Adds a swapping at the head (left) of this sequence of swappings.
void	addSwappingTail(Atom a1, Atom a2) Adds a swapping at the tail (right) of this sequence of swappings.
void	clear()
static Permutation	compose(Permutation permHeadLeft, Permutation permTailRight) Returns a new permutation which is a composition of the two given ones.
Permutation	deepCopy() Returns a deep copy of this object.
boolean	equals(Object other)
Set<Atom[]>	getDisagreementSet(Permutation otherPerm, Variable var, FreshnessCtx nabla) Returns the set of disagreements between this permutation and another one.
Map<Atom,Atom>	getInverse() The internal Map representation of the inverse permutation.
Map<Atom,Atom>	getPerm() The internal Map representation of the permutation.
Permutation	inverse() Returns the inverse permutation of this one.
boolean	isEmpty()
Atom	permute(Atom key) Applies the permutation to the given Atom and returns the permuted atom.
Atom	permuteInverse(Atom key) Applies the inverse permutation to the given Atom and returns the inverse permuted atom.
String	toString()
String	toString(boolean useIdString)

Methods inherited from class java.lang.Object

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

Field Detail

idString

public static String idString

Constructor Detail

Permutation

public Permutation()

Permutation

public Permutation(int initSize)

Method Detail

addSwappingHead

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

Adds a swapping at the head (left) of this sequence of swappings.

Throws:

MalformedSortException

addSwappingTail

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

Adds a swapping at the tail (right) of this sequence of swappings.

Throws:

MalformedSortException

clear

public void clear()

compose

public static Permutation compose(Permutation permHeadLeft,
                  Permutation permTailRight)

Returns a new permutation which is a composition of the two given ones.

deepCopy

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

equals

public boolean equals(Object other)

Overrides:

equals in class Object

getDisagreementSet

public Set<Atom[]> getDisagreementSet(Permutation otherPerm,
                             Variable var,
                             FreshnessCtx nabla)

Returns the set of disagreements between this permutation and another one.

getInverse

public Map<Atom,Atom> getInverse()

The internal Map representation of the inverse permutation.

getPerm

public Map<Atom,Atom> getPerm()

The internal Map representation of the permutation.

inverse

public Permutation inverse()

Returns the inverse permutation of this one. It uses the same data references such that changes are reflected!

isEmpty

public boolean isEmpty()

permute

public Atom permute(Atom key)

Applies the permutation to the given Atom and returns the permuted atom.

permuteInverse

public Atom permuteInverse(Atom key)

Applies the inverse permutation to the given Atom and returns the inverse permuted atom.

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(boolean useIdString)