|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface BranchEffectTracker
Title: Branch effect tracker
Description: Tracks the nodes changed by a branch
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
Method Summary | |
---|---|
boolean |
add(int branch,
aterm.ATermAppl a)
Record that a node is affected by a branch |
BranchEffectTracker |
copy()
Copy branch tracker |
java.util.Set<aterm.ATermAppl> |
getAll(int branch)
Retrieve nodes affected by a branch and all subsequent branches |
java.util.Set<aterm.ATermAppl> |
remove(int branch)
Remove a branch from the tracker. |
java.util.Set<aterm.ATermAppl> |
removeAll(int branch)
Remove a branch and all subsequent branches from the tracker. |
Method Detail |
---|
boolean add(int branch, aterm.ATermAppl a)
branch
- Branch integer identifiera
- Node name
true
if effect not already noted for branch+node
pair, false
elseBranchEffectTracker copy()
java.util.Set<aterm.ATermAppl> getAll(int branch)
branch
- Branch integer identifier
java.util.Set<aterm.ATermAppl> remove(int branch)
branch
- Branch integer identifier
java.util.Set<aterm.ATermAppl> removeAll(int branch)
branch
- Branch integer identifier
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |