|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IncrementalChangeTracker
Title: Incremental change tracker
Description: Tracks the changes for incremental ABox reasoning services
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
Method Summary | |
---|---|
boolean |
addDeletedEdge(Edge e)
Record that a new edge has been deleted from the ABox |
boolean |
addDeletedType(Node n,
aterm.ATermAppl type)
Record that a type was deleted from an individual |
boolean |
addNewEdge(Edge e)
Record that a new edge has been added to the ABox |
boolean |
addNewIndividual(Individual i)
Record that a new individual has been added to the ABox |
boolean |
addUnprunedNode(Node n)
Record that a node has been "unpruned" because a merge was reverted during restore |
boolean |
addUpdatedIndividual(Individual i)
Record that an individual has been updated |
void |
clear()
Clear all recorded changes |
IncrementalChangeTracker |
copy(ABox target)
Copy change tracker for use with a new ABox (presumably as part of ABox.copy() ) |
java.util.Iterator<Edge> |
deletedEdges()
Iterate over all edges deleted (see addDeletedEdge(Edge) ) since
the previous clear() |
java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> |
deletedTypes()
Iterate over all nodes with deleted types (and those types) (see addDeletedType(Node, ATermAppl) ) since the previous
clear() |
java.util.Iterator<Edge> |
newEdges()
Iterate over all edges added (see addNewEdge(Edge) ) since the
previous clear() |
java.util.Iterator<Individual> |
newIndividuals()
Iterate over all individuals added (see addNewIndividual(Individual) ) since the previous
clear() |
java.util.Iterator<Node> |
unprunedNodes()
Iterate over all nodes unpruned (see #addUnprunedIndividual(Individual) ) since the previous
clear() |
java.util.Iterator<Individual> |
updatedIndividuals()
Iterate over all individuals updated (see addUpdatedIndividual(Individual) ) since the previous
clear() |
Method Detail |
---|
boolean addDeletedEdge(Edge e)
e
- the Edge
true
if delete is not already noted for edge,
false
elseboolean addDeletedType(Node n, aterm.ATermAppl type)
n
- the Nodetype
- the type
true
if delete is not already noted for node,
type pair false
elseboolean addNewEdge(Edge e)
e
- the Edge
true
if addition is not already noted for edge,
false
elseboolean addNewIndividual(Individual i)
i
- the Individual
true
if addition is not already noted for
individual, false
elseboolean addUnprunedNode(Node n)
n
- the Node
true
if unpruning is not already noted for node,
false
elseboolean addUpdatedIndividual(Individual i)
i
- the Individual
true
if addition is not already noted for
individual, false
elsevoid clear()
IncrementalChangeTracker copy(ABox target)
ABox.copy()
)
target
- The ABox for the copy
java.util.Iterator<Edge> deletedEdges()
addDeletedEdge(Edge)
) since
the previous clear()
java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> deletedTypes()
addDeletedType(Node, ATermAppl)
) since the previous
clear()
java.util.Iterator<Edge> newEdges()
addNewEdge(Edge)
) since the
previous clear()
java.util.Iterator<Individual> newIndividuals()
addNewIndividual(Individual)
) since the previous
clear()
java.util.Iterator<Node> unprunedNodes()
#addUnprunedIndividual(Individual)
) since the previous
clear()
java.util.Iterator<Individual> updatedIndividuals()
addUpdatedIndividual(Individual)
) since the previous
clear()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |