|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.tableau.completion.incremental.DependencyIndex
public class DependencyIndex
This is the index structure for maintaining the dependencies between structures in an ABox and the syntactic assertions which caused them to be created. This is used for incremental deletions.
Field Summary | |
---|---|
static java.util.logging.Logger |
log
|
Constructor Summary | |
---|---|
DependencyIndex(KnowledgeBase kb)
Default constructor |
|
DependencyIndex(KnowledgeBase kb,
DependencyIndex oldIndex)
Copy constructor |
Method Summary | |
---|---|
void |
addBranchAddDependency(Branch branch)
Add a new branch dependency |
void |
addCloseBranchDependency(Branch branch,
DependencySet ds)
Add a new branch ds removal dependency |
void |
addEdgeDependency(Edge edge,
DependencySet ds)
Add a new edge dependency |
void |
addMergeDependency(aterm.ATermAppl ind,
aterm.ATermAppl mergedTo,
DependencySet ds)
Add a new merge dependency |
void |
addTypeDependency(aterm.ATermAppl ind,
aterm.ATermAppl type,
DependencySet ds)
Add a new type dependency |
DependencyEntry |
getDependencies(aterm.ATermAppl assertion)
|
void |
removeBranchDependencies(Branch b)
Remove branch dependencies - this is needed due to backjumping! |
void |
removeDependencies(aterm.ATermAppl assertion)
Remove the dependencies for a given assertion |
void |
setClashDependencies(Clash clash)
Set clash dependencies |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.util.logging.Logger log
Constructor Detail |
---|
public DependencyIndex(KnowledgeBase kb)
public DependencyIndex(KnowledgeBase kb, DependencyIndex oldIndex)
Method Detail |
---|
public DependencyEntry getDependencies(aterm.ATermAppl assertion)
assertion
-
public void addTypeDependency(aterm.ATermAppl ind, aterm.ATermAppl type, DependencySet ds)
ind
- type
- ds
- public void addMergeDependency(aterm.ATermAppl ind, aterm.ATermAppl mergedTo, DependencySet ds)
ind
- type
- ds
- public void addEdgeDependency(Edge edge, DependencySet ds)
edge
- ds
- public void addBranchAddDependency(Branch branch)
ind
- type
- ds
- public void addCloseBranchDependency(Branch branch, DependencySet ds)
ind
- type
- ds
- public void removeDependencies(aterm.ATermAppl assertion)
assertion
- public void removeBranchDependencies(Branch b)
b
- public void setClashDependencies(Clash clash)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |