org.semanticweb.HermiT.model
Class DescriptionGraph.Edge

java.lang.Object
  extended by org.semanticweb.HermiT.model.DescriptionGraph.Edge
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DescriptionGraph

public static class DescriptionGraph.Edge
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  AtomicRole m_atomicRole
           
protected  int m_fromVertex
           
protected  int m_toVertex
           
 
Constructor Summary
DescriptionGraph.Edge(AtomicRole atomicRole, int fromVertex, int toVertex)
           
 
Method Summary
 boolean equals(java.lang.Object that)
           
 AtomicRole getAtomicRole()
           
 int getFromVertex()
           
 int getToVertex()
           
 int hashCode()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_atomicRole

protected final AtomicRole m_atomicRole

m_fromVertex

protected final int m_fromVertex

m_toVertex

protected final int m_toVertex
Constructor Detail

DescriptionGraph.Edge

public DescriptionGraph.Edge(AtomicRole atomicRole,
                             int fromVertex,
                             int toVertex)
Method Detail

getAtomicRole

public AtomicRole getAtomicRole()

getFromVertex

public int getFromVertex()

getToVertex

public int getToVertex()

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object that)
Overrides:
equals in class java.lang.Object