Package openllet.core.tracker
Interface BranchEffectTracker
-
- All Known Implementing Classes:
SimpleBranchEffectTracker
public interface BranchEffectTrackerTitle: Branch effect tracker
Description: Tracks the _nodes changed by a _branch
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
- Author:
- Mike Smith
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanadd(int branch, openllet.aterm.ATermAppl a)Record that a _node is affected by a _branchBranchEffectTrackercopy()java.util.Set<openllet.aterm.ATermAppl>getAll(int branch)Retrieve _nodes affected by a _branch and all subsequent branchesjava.util.Set<openllet.aterm.ATermAppl>remove(int branch)Remove a _branch from the tracker.java.util.Set<openllet.aterm.ATermAppl>removeAll(int branch)Remove a branch and all subsequent branches from the tracker.
-
-
-
Method Detail
-
add
boolean add(int branch, openllet.aterm.ATermAppl a)Record that a _node is affected by a _branch- Parameters:
branch- Branch integer identifiera- Node name- Returns:
- boolean
trueif effect not already noted for _branch+_node pair,falseelse
-
copy
BranchEffectTracker copy()
- Returns:
- a copy of branch tracker
-
getAll
java.util.Set<openllet.aterm.ATermAppl> getAll(int branch)
Retrieve _nodes affected by a _branch and all subsequent branches- Parameters:
branch- Branch integer identifier- Returns:
- Names of all _nodes affected by _branch and subsequent branches
-
remove
java.util.Set<openllet.aterm.ATermAppl> remove(int branch)
Remove a _branch from the tracker. Note that this causes the _branch to effects association to change for all subsequent branches and should only be used if the _branch indices are changed in ABox and all other structures.- Parameters:
branch- Branch integer identifier- Returns:
- Names of all _nodes affected by _branch
-
removeAll
java.util.Set<openllet.aterm.ATermAppl> removeAll(int branch)
Remove a branch and all subsequent branches from the tracker.- Parameters:
branch- Branch integer identifier- Returns:
- Names of all _nodes affected by _branch and subsequent branches
-
-