org.semanticweb.HermiT
Class EntailmentChecker.Edge

java.lang.Object
  extended by org.semanticweb.HermiT.EntailmentChecker.Edge
Enclosing class:
EntailmentChecker

protected class EntailmentChecker.Edge
extends java.lang.Object


Field Summary
 org.semanticweb.owlapi.model.OWLAnonymousIndividual first
           
 org.semanticweb.owlapi.model.OWLAnonymousIndividual second
           
 
Constructor Summary
EntailmentChecker.Edge(org.semanticweb.owlapi.model.OWLAnonymousIndividual first, org.semanticweb.owlapi.model.OWLAnonymousIndividual second)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

first

public final org.semanticweb.owlapi.model.OWLAnonymousIndividual first

second

public final org.semanticweb.owlapi.model.OWLAnonymousIndividual second
Constructor Detail

EntailmentChecker.Edge

public EntailmentChecker.Edge(org.semanticweb.owlapi.model.OWLAnonymousIndividual first,
                              org.semanticweb.owlapi.model.OWLAnonymousIndividual second)
Method Detail

hashCode

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

equals

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

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object