org.semanticweb.HermiT
Class EntailmentChecker.Edge
java.lang.Object
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)
|
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 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.