|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AnnotatedEquality | |
|---|---|
| org.semanticweb.HermiT.model | |
| org.semanticweb.HermiT.monitor | |
| org.semanticweb.HermiT.tableau | |
| Uses of AnnotatedEquality in org.semanticweb.HermiT.model |
|---|
| Fields in org.semanticweb.HermiT.model with type parameters of type AnnotatedEquality | |
|---|---|
protected static InterningManager<AnnotatedEquality> |
AnnotatedEquality.s_interningManager
|
| Methods in org.semanticweb.HermiT.model that return AnnotatedEquality | |
|---|---|
static AnnotatedEquality |
AnnotatedEquality.create(int cardinality,
Role onRole,
LiteralConcept toConcept)
|
| Uses of AnnotatedEquality in org.semanticweb.HermiT.monitor |
|---|
| Methods in org.semanticweb.HermiT.monitor with parameters of type AnnotatedEquality | |
|---|---|
void |
TableauMonitorForwarder.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorFork.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorAdapter.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitor.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorForwarder.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorFork.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorAdapter.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitor.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
| Uses of AnnotatedEquality in org.semanticweb.HermiT.tableau |
|---|
| Fields in org.semanticweb.HermiT.tableau declared as AnnotatedEquality | |
|---|---|
protected AnnotatedEquality |
NominalIntroductionManager.NominalIntroductionBranchingPoint.m_annotatedEquality
|
| Methods in org.semanticweb.HermiT.tableau with parameters of type AnnotatedEquality | |
|---|---|
boolean |
NominalIntroductionManager.addAnnotatedEquality(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2,
DependencySet dependencySet)
|
boolean |
ExtensionManager.addAnnotatedEquality(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2,
DependencySet dependencySet)
|
protected boolean |
NominalIntroductionManager.applyNIRule(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2,
DependencySet dependencySet)
|
boolean |
NominalIntroductionManager.canForgetAnnotation(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2)
|
boolean |
ExtensionManager.containsAnnotatedEquality(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2)
|
protected Node |
NominalIntroductionManager.getNIRootFor(DependencySet dependencySet,
Node rootNode,
AnnotatedEquality annotatedEquality,
int number)
|
| Constructors in org.semanticweb.HermiT.tableau with parameters of type AnnotatedEquality | |
|---|---|
NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau,
Node rootNode,
Node niTargetNode,
Node otherNode,
AnnotatedEquality annotatedEquality)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||