|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |