org.mindswap.pellet
Class NodeMerge

java.lang.Object
  extended by org.mindswap.pellet.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
NodeMerge(Node y, Node z)
           
NodeMerge(Node y, Node z, DependencySet ds)
           
 
Method Summary
 DependencySet getDepends()
           
 aterm.ATermAppl getSource()
           
 aterm.ATermAppl getTarget()
           
 void setSource(aterm.ATermAppl source)
           
 void setTarget(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(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


Copyright © 2004 Evren Sirin. All Rights Reserved.