public class SimpleBranchEffectTracker extends Object implements BranchEffectTracker
Title: Simple Branch Effect Tracker
Description: Basic ArrayList
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
SimpleBranchEffectTracker() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
add(int branch,
aterm.ATermAppl a)
Record that a node is affected by a branch
|
SimpleBranchEffectTracker |
copy()
Copy branch tracker
|
Set<aterm.ATermAppl> |
getAll(int branch)
Retrieve nodes affected by a branch and all subsequent branches
|
Set<aterm.ATermAppl> |
remove(int branch)
Remove a branch from the tracker.
|
Set<aterm.ATermAppl> |
removeAll(int branch)
Remove a branch and all subsequent branches from the tracker.
|
public boolean add(int branch,
aterm.ATermAppl a)
BranchEffectTrackeradd in interface BranchEffectTrackerbranch - Branch integer identifiera - Node nametrue if effect not already noted for branch+node
pair, false elsepublic SimpleBranchEffectTracker copy()
BranchEffectTrackercopy in interface BranchEffectTrackerpublic Set<aterm.ATermAppl> getAll(int branch)
BranchEffectTrackergetAll in interface BranchEffectTrackerbranch - Branch integer identifierpublic Set<aterm.ATermAppl> remove(int branch)
BranchEffectTrackerremove in interface BranchEffectTrackerbranch - Branch integer identifierpublic Set<aterm.ATermAppl> removeAll(int branch)
BranchEffectTrackerremoveAll in interface BranchEffectTrackerbranch - Branch integer identifierCopyright © 2019. All rights reserved.