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

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)