Uses of Interface
org.semanticweb.HermiT.tableau.DependencySet

Packages that use DependencySet
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.tableau   
 

Uses of DependencySet in org.semanticweb.HermiT.existentials
 

Methods in org.semanticweb.HermiT.existentials with parameters of type DependencySet
 void IndividualReuseStrategy.IndividualReuseBranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDependencySet)
           
 

Uses of DependencySet in org.semanticweb.HermiT.tableau
 

Classes in org.semanticweb.HermiT.tableau that implement DependencySet
 class PermanentDependencySet
           
 class UnionDependencySet
           
 

Fields in org.semanticweb.HermiT.tableau declared as DependencySet
protected  DependencySet ExtensionTableWithTupleIndexes.IndexedRetrieval.m_dependencySet
           
protected  DependencySet DLClauseEvaluator.SetClash.m_dependencySet
           
protected  DependencySet DLClauseEvaluator.DeriveUnaryFact.m_dependencySet
           
protected  DependencySet DLClauseEvaluator.DeriveBinaryFact.m_dependencySet
           
protected  DependencySet DLClauseEvaluator.DeriveTernaryFact.m_dependencySet
           
protected  DependencySet DLClauseEvaluator.DeriveDisjunction.m_dependencySet
           
protected  DependencySet[] UnionDependencySet.m_dependencySets
           
protected  DependencySet[] DLClauseEvaluator.CopyDependencySet.m_targetDependencySets
           
 

Methods in org.semanticweb.HermiT.tableau that return DependencySet
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1)
           
 DependencySet ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
           
 DependencySet ExtensionManager.getClashDependencySet()
           
 DependencySet ExtensionManager.getConceptAssertionDependencySet(Concept concept, Node node)
           
 DependencySet ExtensionManager.getDataRangeAssertionDependencySet(DataRange range, Node node)
           
 DependencySet GroundDisjunction.getDependencySet()
           
 DependencySet ExtensionTableWithTupleIndexes.IndexedRetrieval.getDependencySet()
           
 DependencySet ExtensionTableWithFullIndex.IndexedRetrieval.getDependencySet()
           
 DependencySet ExtensionTable.Retrieval.getDependencySet()
           
 DependencySet ExtensionTable.UnindexedRetrieval.getDependencySet()
           
 DependencySet ExtensionTable.getDependencySet(int tupleIndex)
           
 DependencySet ExtensionTable.DependencySetManager.getDependencySet(int tupleIndex)
           
 DependencySet ExtensionTable.DeterministicDependencySetManager.getDependencySet(int tupleIndex)
           
 DependencySet ExtensionTable.LastObjectDependencySetManager.getDependencySet(int tupleIndex)
           
 DependencySet ExtensionTableWithTupleIndexes.getDependencySet(java.lang.Object[] tuple)
           
 DependencySet ExtensionTableWithFullIndex.getDependencySet(java.lang.Object[] tuple)
           
abstract  DependencySet ExtensionTable.getDependencySet(java.lang.Object[] tuple)
           
 DependencySet ExtensionManager.getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)
           
 DependencySet ExtensionManager.getTupleDependencySet(java.lang.Object[] tuple)
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type DependencySet
 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)
           
 boolean ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node0, Node node1, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2, DependencySet dependencySet, boolean isCore)
           
 PermanentDependencySet DependencySetFactory.addBranchingPoint(DependencySet dependencySet, int branchingPoint)
           
 PermanentDependencySet Node.addCanonicalNodeDependencySet(DependencySet dependencySet)
           
 boolean ExtensionManager.addConceptAssertion(Concept concept, Node node, DependencySet dependencySet, boolean isCore)
           
 void UnionDependencySet.addConstituent(DependencySet constituent)
           
 boolean ExtensionManager.addDataRangeAssertion(DataRange dataRange, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean GroundDisjunction.addDisjunctToTableau(Tableau tableau, int disjunctIndex, DependencySet dependencySet)
           
 boolean ExtensionManager.addRoleAssertion(Role role, Node nodeFrom, Node nodeTo, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionTableWithTupleIndexes.addTuple(java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionTableWithFullIndex.addTuple(java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
abstract  boolean ExtensionTable.addTuple(java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.addTuple(java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
protected  boolean NominalIntroductionManager.applyNIRule(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2, DependencySet dependencySet)
           
 Node Tableau.createNewConcreteNode(DependencySet dependencySet, Node parent)
          Create a new concrete node for datatypes.
 Node Tableau.createNewGraphNode(Node parent, DependencySet dependencySet)
          Create a new node graph node for description graphs
 Node Tableau.createNewNamedNode(DependencySet dependencySet)
          Create a new node that represents an individual named in the input ontology (thus, keys have to be applied to it)
 Node Tableau.createNewNINode(DependencySet dependencySet)
          Create a new node that represents a nominal, but one that is not named in the input ontology (thus, keys are not applicable)
protected  Node Tableau.createNewNodeRaw(DependencySet dependencySet, Node parent, NodeType nodeType, int treeDepth)
           
 Node Tableau.createNewRootConstantNode(DependencySet dependencySet)
          Create a new root constant node for datatypes.
 Node Tableau.createNewTreeNode(DependencySet dependencySet, Node parent)
          Create a new tree node.
protected  void DatatypeManager.generateInequalitiesFor(DataRange dataRange1, Node node1, DependencySet dependencySet1, DataRange dataRange2)
           
protected  Node NominalIntroductionManager.getNIRootFor(DependencySet dependencySet, Node rootNode, AnnotatedEquality annotatedEquality, int number)
           
protected  Node Tableau.getNodeForTerm(java.util.Map<Term,Node> termsToNodes, Term term, DependencySet dependencySet)
           
 PermanentDependencySet DependencySetFactory.getPermanent(DependencySet dependencySet)
           
protected  void Tableau.loadNegativeFact(java.util.Map<Term,Node> termsToNodes, Atom atom, DependencySet dependencySet)
           
protected  void Tableau.loadPositiveFact(java.util.Map<Term,Node> termsToNodes, Atom atom, DependencySet dependencySet)
           
 void Tableau.mergeNode(Node node, Node mergeInto, DependencySet dependencySet)
          Merges node into mergeInto.
 boolean MergingManager.mergeNodes(Node node0, Node node1, DependencySet dependencySet)
          Merges the two given nodes and adjusts the dependency set as required.
protected  void ExtensionTable.postAdd(java.lang.Object[] tuple, DependencySet dependencySet, int tupleIndex, boolean isCore)
          This method is called each time a fresh tuple is added.
 PermanentDependencySet DependencySetFactory.removeBranchingPoint(DependencySet dependencySet, int branchingPoint)
           
 void ExtensionManager.setClash(DependencySet clashDependencySet)
           
 void ExtensionTable.DependencySetManager.setDependencySet(int tupleIndex, DependencySet dependencySet)
           
 void ExtensionTable.DeterministicDependencySetManager.setDependencySet(int tupleIndex, DependencySet dependencySet)
           
 void ExtensionTable.LastObjectDependencySetManager.setDependencySet(int tupleIndex, DependencySet dependencySet)
           
 void NominalIntroductionManager.NominalIntroductionBranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)
           
 void DisjunctionBranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDependencySet)
           
 void BranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)
           
 void ClashManager.tupleAdded(ExtensionTable extensionTable, java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
 PermanentDependencySet DependencySetFactory.unionWith(DependencySet set1, DependencySet set2)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type DependencySet
DLClauseEvaluator.CopyDependencySet(ExtensionTable.Retrieval retrieval, DependencySet[] targetDependencySets, int targetIndex)
           
DLClauseEvaluator.DeriveBinaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex1, int argumentIndex2)
           
DLClauseEvaluator.DeriveDisjunction(java.lang.Object[] valuesBuffer, boolean[] coreVariables, DependencySet dependencySet, Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, int[] copyIsCore, int[] copyValuesToArguments)
           
DLClauseEvaluator.DeriveTernaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex1, int argumentIndex2, int argumentIndex3)
           
DLClauseEvaluator.DeriveUnaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, boolean[] coreVariables, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex)
           
DLClauseEvaluator.SetClash(ExtensionManager extensionManager, DependencySet dependencySet)
           
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)