org.semanticweb.HermiT
Class EntailmentChecker.Edge

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

protected class EntailmentChecker.Edge
extends 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(Object o)
           
 int hashCode()
           
 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 Object

equals

public boolean equals(Object o)
Overrides:
equals in class Object

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.