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

Packages that use DependencySet

Package	Description
org.semanticweb.HermiT.tableau

Uses of DependencySet in org.semanticweb.HermiT.tableau

Classes in org.semanticweb.HermiT.tableau that implement DependencySet

Modifier and Type	Class and Description
class	PermanentDependencySet PermanentDependencySet.

Methods in org.semanticweb.HermiT.tableau that return DependencySet

Modifier and Type	Method and Description
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	ExtensionTable.Retrieval.getDependencySet()
DependencySet	ExtensionTable.getDependencySet(int tupleIndex)
abstract DependencySet	ExtensionTable.getDependencySet(Object[] tuple)
DependencySet	ExtensionTableWithFullIndex.getDependencySet(Object[] tuple)
DependencySet	ExtensionTableWithTupleIndexes.getDependencySet(Object[] tuple)
DependencySet	ExtensionManager.getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)
DependencySet	ExtensionManager.getTupleDependencySet(Object[] tuple)

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

Modifier and Type	Method and Description
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)
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)
abstract boolean	ExtensionTable.addTuple(Object[] tuple, DependencySet dependencySet, boolean isCore)
boolean	ExtensionTableWithFullIndex.addTuple(Object[] tuple, DependencySet dependencySet, boolean isCore)
boolean	ExtensionManager.addTuple(Object[] tuple, DependencySet dependencySet, boolean isCore)
boolean	ExtensionTableWithTupleIndexes.addTuple(Object[] tuple, DependencySet dependencySet, boolean isCore)
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)
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.
PermanentDependencySet	DependencySetFactory.getPermanent(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.
PermanentDependencySet	DependencySetFactory.removeBranchingPoint(DependencySet dependencySet, int branchingPoint)
void	ExtensionManager.setClash(DependencySet clashDependencySet)
void	DisjunctionBranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDependencySet)
void	BranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)
void	ClashManager.tupleAdded(ExtensionTable extensionTable, Object[] tuple, DependencySet dependencySet)
PermanentDependencySet	DependencySetFactory.unionWith(DependencySet set1, DependencySet set2)

Constructors in org.semanticweb.HermiT.tableau with parameters of type DependencySet

Constructor and Description
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)