Uses of Class
org.semanticweb.HermiT.model.AnnotatedEquality

Packages that use AnnotatedEquality

Package	Description
org.semanticweb.HermiT.model
org.semanticweb.HermiT.monitor
org.semanticweb.HermiT.tableau

Uses of AnnotatedEquality in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return AnnotatedEquality

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
void	TableauMonitorAdapter.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	TableauMonitor.nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
void	TableauMonitorForwarder.nominalIntorductionFinished(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
void	TableauMonitorAdapter.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	TableauMonitor.nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)
void	TableauMonitorForwarder.nominalIntorductionStarted(Node rootNode, Node treeNode, AnnotatedEquality annotatedEquality, Node argument1, Node argument2)

Uses of AnnotatedEquality in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau with parameters of type AnnotatedEquality

Modifier and Type	Method and Description
boolean	ExtensionManager.addAnnotatedEquality(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2, DependencySet dependencySet)