org.mindswap.pellet

Class NodeMerge

java.lang.Object

org.mindswap.pellet.NodeMerge

public class NodeMerge
extends 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 and Description
NodeMerge(Node y, Node z)
NodeMerge(Node y, Node z, DependencySet ds)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, 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 String toString()

Overrides:

toString in class Object

setSource

public void setSource(aterm.ATermAppl source)

Parameters:

source - the source to set

getSource

public aterm.ATermAppl getSource()

Returns:

the source

setTarget

public void setTarget(aterm.ATermAppl target)

Parameters:

target - the target to set

getTarget

public aterm.ATermAppl getTarget()

Returns:

the target

getDepends

public DependencySet getDepends()

Returns:

the dependecy set