|
||||||||||
| 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 | |||||||||