org.semanticweb.HermiT
Class EntailmentChecker.Edge
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
first
public final org.semanticweb.owlapi.model.OWLAnonymousIndividual first
second
public final org.semanticweb.owlapi.model.OWLAnonymousIndividual second
EntailmentChecker.Edge
public EntailmentChecker.Edge(org.semanticweb.owlapi.model.OWLAnonymousIndividual first,
org.semanticweb.owlapi.model.OWLAnonymousIndividual second)
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