Package openllet.core.boxes.abox

Class NodeMerge

java.lang.Object

openllet.core.boxes.abox.NodeMerge

public class NodeMerge
extends java.lang.Object

Stores a pair of nodes to be merged. Order of nodes is important, always first node is going to be merged to the second one.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor	Description
NodeMerge(Node y, Node z)
NodeMerge(Node y, Node z, DependencySet ds)

Method Summary

Modifier and Type	Method	Description
DependencySet	getDepends()
openllet.aterm.ATermAppl	getSource()
openllet.aterm.ATermAppl	getTarget()
void	setSource(openllet.aterm.ATermAppl source)
void	setTarget(openllet.aterm.ATermAppl target)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeMerge

public NodeMerge(Node y,
                 Node z)

NodeMerge

public NodeMerge(Node y,
                 Node z,
                 DependencySet ds)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setSource

public void setSource(openllet.aterm.ATermAppl source)

Parameters:

source - the _source to set

getSource

public openllet.aterm.ATermAppl getSource()

Returns:

the _source

setTarget

public void setTarget(openllet.aterm.ATermAppl target)

Parameters:

target - the _target to set

getTarget

public openllet.aterm.ATermAppl getTarget()

Returns:

the _target

getDepends

public DependencySet getDepends()

Returns:

the dependecy set