|
||||||||||
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 |