org.mindswap.pellet
Class NodeMerge
java.lang.Object
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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
NodeMerge
public NodeMerge(Node y,
Node z)
NodeMerge
public NodeMerge(Node y,
Node z,
DependencySet ds)
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.