IncrementalChangeTracker (Pellet :: Core 2.5.1-dllearner API)

All Known Implementing Classes:

SimpleIncrementalChangeTracker
```
public interface IncrementalChangeTracker
```
Title: Incremental change tracker

Description: Tracks the changes for incremental ABox reasoning services

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`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()`)
`Iterator<Edge>`	`deletedEdges()` Iterate over all edges deleted (see `addDeletedEdge(Edge)`) since the previous `clear()`
`Iterator<Map.Entry<Node,Set<aterm.ATermAppl>>>`	`deletedTypes()` Iterate over all nodes with deleted types (and those types) (see `addDeletedType(Node, ATermAppl)`) since the previous `clear()`
`Iterator<Edge>`	`newEdges()` Iterate over all edges added (see `addNewEdge(Edge)`) since the previous `clear()`
`Iterator<Individual>`	`newIndividuals()` Iterate over all individuals added (see `addNewIndividual(Individual)`) since the previous `clear()`
`Iterator<Node>`	`unprunedNodes()` Iterate over all nodes unpruned (see `#addUnprunedIndividual(Individual)`) since the previous `clear()`
`Iterator<Individual>`	`updatedIndividuals()` Iterate over all individuals updated (see `addUpdatedIndividual(Individual)`) since the previous `clear()`

- Method Detail
  - addDeletedEdge
```
boolean addDeletedEdge(Edge e)
```
    Record that a new edge has been deleted from the ABox
    
    Parameters:
    
    e - the Edge
    
    Returns:
    
    boolean true if delete is not already noted for edge, false else
  - addDeletedType
```
boolean addDeletedType(Node n,
                       aterm.ATermAppl type)
```
    Record that a type was deleted from an individual
    
    Parameters:
    
    n - the Node
    
    type - the type
    
    Returns:
    
    boolean true if delete is not already noted for node, type pair false else
  - addNewEdge
```
boolean addNewEdge(Edge e)
```
    Record that a new edge has been added to the ABox
    
    Parameters:
    
    e - the Edge
    
    Returns:
    
    boolean true if addition is not already noted for edge, false else
  - addNewIndividual
```
boolean addNewIndividual(Individual i)
```
    Record that a new individual has been added to the ABox
    
    Parameters:
    
    i - the Individual
    
    Returns:
    
    boolean true if addition is not already noted for individual, false else
  - addUnprunedNode
```
boolean addUnprunedNode(Node n)
```
    Record that a node has been "unpruned" because a merge was reverted during restore
    
    Parameters:
    
    n - the Node
    
    Returns:
    
    boolean true if unpruning is not already noted for node, false else
  - addUpdatedIndividual
```
boolean addUpdatedIndividual(Individual i)
```
    Record that an individual has been updated
    
    Parameters:
    
    i - the Individual
    
    Returns:
    
    boolean true if addition is not already noted for individual, false else
  - clear
```
void clear()
```
    Clear all recorded changes
  - copy
```
IncrementalChangeTracker copy(ABox target)
```
    Copy change tracker for use with a new ABox (presumably as part of ABox.copy())
    
    Parameters:
    
    target - The ABox for the copy
    
    Returns:
    
    a copy, with individuals in the target ABox
  - deletedEdges
```
Iterator<Edge> deletedEdges()
```
    Iterate over all edges deleted (see addDeletedEdge(Edge)) since the previous clear()
    
    Returns:
    
    Iterator
  - deletedTypes
```
Iterator<Map.Entry<Node,Set<aterm.ATermAppl>>> deletedTypes()
```
    Iterate over all nodes with deleted types (and those types) (see addDeletedType(Node, ATermAppl)) since the previous clear()
    
    Returns:
    
    Iterator
  - newEdges
```
Iterator<Edge> newEdges()
```
    Iterate over all edges added (see addNewEdge(Edge)) since the previous clear()
    
    Returns:
    
    Iterator
  - newIndividuals
```
Iterator<Individual> newIndividuals()
```
    Iterate over all individuals added (see addNewIndividual(Individual)) since the previous clear()
    
    Returns:
    
    Iterator
  - unprunedNodes
```
Iterator<Node> unprunedNodes()
```
    Iterate over all nodes unpruned (see #addUnprunedIndividual(Individual)) since the previous clear()
    
    Returns:
    
    Iterator
  - updatedIndividuals
```
Iterator<Individual> updatedIndividuals()
```
    Iterate over all individuals updated (see addUpdatedIndividual(Individual)) since the previous clear()
    
    Returns:
    
    Iterator

Interface IncrementalChangeTracker

Method Summary

Method Detail

addDeletedEdge

addDeletedType

addNewEdge

addNewIndividual

addUnprunedNode

addUpdatedIndividual

clear

copy

deletedEdges

deletedTypes

newEdges

newIndividuals

unprunedNodes

updatedIndividuals