org.thegalactic.lattice

Class ArrowRelation

java.lang.Object

org.thegalactic.dgraph.AbstractDGraph<N,E>

org.thegalactic.dgraph.ConcreteDGraph

org.thegalactic.lattice.ArrowRelation

All Implemented Interfaces:

Cloneable, DGraph

public class ArrowRelation
extends ConcreteDGraph

The ArrowRelation class encodes arrow relation between meet & join-irreductibles of a lattice.

Let m and b be respectively meet and join irreductibles of a lattice. Recall that m has a unique successor say m+ and j has a unique predecessor say j-, then :

• j “Up Arrow” m (stored as “Up”) iff j is not less or equal than m and j is less than m+
• j “Down Arrow” m (stored as “Down”) iff j is not less or equal than m and j- is less than m
• j “Up Down Arrow” m (stored as “UpDown”) iff j “Up” m and j “Down” m
• j “Cross” m (stored as “Cross”) iff j is less or equal than m
• j “Circ” m (stored as “Circ”) iff neither j “Up” m nor j “Down” m nor j “Cross” m

Constructor Summary

Constructors

Constructor and Description
ArrowRelation(Lattice lattice) Unique constructor of this component from a lattice.

Method Summary

Modifier and Type	Method and Description
Context	getDoubleArrowTable() Returns the table of the lattice, composed of the join and meet irreducibles nodes.
Context	getDoubleCircArrowTable() Returns the table of the lattice, composed of the join and meet irreducibles nodes.
Context	getDoubleDownArrowTable() Returns the table of the lattice, composed of the join and meet irreducibles nodes.
Context	getDoubleUpArrowTable() Returns the table of the lattice, composed of the join and meet irreducibles nodes.
boolean	isCirc(Edge edge) Returns true if and only if there is an circ arrow between the source and the target of edge e.
boolean	isCross(Edge edge) Returns true if and only if there is an cross arrow between the source and the target of edge e.
boolean	isDown(Edge edge) Returns true if and only if there is an down arrow between the source and the target of edge e.
boolean	isUp(Edge edge) Returns true if and only if there is an up arrow between the source and the target of edge e.
boolean	isUpDown(Edge edge) Returns true if and only if there is an up-down arrow between the source and the target of edge e.
void	save(String filename) Save the description of this component in a file whose name is specified.

Methods inherited from class org.thegalactic.dgraph.ConcreteDGraph

addEdge, addEdge, addEdge, addNode, clone, complementary, containsEdge, containsEdge, containsNode, getEdge, getEdges, getNode, getNodeByContent, getNodeByIdentifier, getNodes, getPredecessorEdges, getPredecessorNodes, getPredecessors, getStronglyConnectedComponent, getSubgraphByEdges, getSubgraphByNodes, getSuccessorEdges, getSuccessorNodes, getSuccessors, reflexiveClosure, reflexiveReduction, removeEdge, removeEdge, removeNode, removeNodes, setNodes, setPredecessors, setSuccessors, sizeEdges, sizeNodes, transitiveClosure, transpose

Methods inherited from class org.thegalactic.dgraph.AbstractDGraph

getSinks, getWells, isAcyclic, topologicalSort, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrowRelation

public ArrowRelation(Lattice lattice)

Unique constructor of this component from a lattice.

Nodes are join or meet irreductibles of the lattice. Edges content encodes arrows as String “Up”, “Down”, “UpDown”, “Cross”, “Circ”.

Parameters:

lattice - Lattice from which this component is deduced.

Method Detail

save

public void save(String filename)
          throws IOException

Save the description of this component in a file whose name is specified.

Specified by:

save in interface DGraph

Overrides:

save in class AbstractDGraph

Parameters:

filename - the name of the file

Throws:

IOException - When an IOException occurs

getDoubleArrowTable

public Context getDoubleArrowTable()

Returns the table of the lattice, composed of the join and meet irreducibles nodes.

Each attribute of the table is a copy of a join irreducibles node. Each observation of the table is a copy of a meet irreducibles node. An attribute is extent of an observation when its join irreducible node is in double arrow relation with the meet irreducible node in the lattice.

Returns:

the table of the lattice

To Do#1

Avoid using for (Object edge : this.getEdges()). Use for (Edge edge : this.getEdges())

getDoubleDownArrowTable

public Context getDoubleDownArrowTable()

Returns the table of the lattice, composed of the join and meet irreducibles nodes.

Each attribute of the table is a copy of a join irreducibles node. Each observation of the table is a copy of a meet irreducibles node. An attribute is extent of an observation when its join irreducible node is in down arrow relation with the meet irreducible node in the lattice.

Returns:

the table of the lattice

getDoubleUpArrowTable

public Context getDoubleUpArrowTable()

Returns the table of the lattice, composed of the join and meet irreducibles nodes.

Each attribute of the table is a copy of a join irreducibles node. Each observation of the table is a copy of a meet irreducibles node. An attribute is extent of an observation when its join irreducible node is in up arrow relation with the meet irreducible node in the lattice.

Returns:

the table of the lattice

getDoubleCircArrowTable

public Context getDoubleCircArrowTable()

Returns the table of the lattice, composed of the join and meet irreducibles nodes.

Each attribute of the table is a copy of a join irreducibles node. Each observation of the table is a copy of a meet irreducibles node. An attribute is extent of an observation when its join irreducible node is in double arrow relation or circ relation with the meet irreducible node in the lattice.

Returns:

the table of the lattice

isUp

public boolean isUp(Edge edge)

Returns true if and only if there is an up arrow between the source and the target of edge e.

Parameters:

edge - edge to be tested

Returns:

true if and only if there is an up arrow between the source and the target of edge e

isDown

public boolean isDown(Edge edge)

Returns true if and only if there is an down arrow between the source and the target of edge e.

Parameters:

edge - edge to be tested

Returns:

true if and only if there is an down arrow between the source and the target of edge e

isUpDown

public boolean isUpDown(Edge edge)

Returns true if and only if there is an up-down arrow between the source and the target of edge e.

Parameters:

edge - edge to be tested

Returns:

true if and only if there is an up-down arrow between the source and the target of edge e

isCross

public boolean isCross(Edge edge)

Returns true if and only if there is an cross arrow between the source and the target of edge e.

Parameters:

edge - edge to be tested

Returns:

true if and only if there is an cross arrow between the source and the target of edge e

isCirc

public boolean isCirc(Edge edge)

Returns true if and only if there is an circ arrow between the source and the target of edge e.

Parameters:

edge - edge to be tested

Returns:

true if and only if there is an circ arrow between the source and the target of edge e