|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.impl.SimpleBranchEffectTracker
public class SimpleBranchEffectTracker
Title: Simple Branch Effect Tracker
Description: Basic ArrayList
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
SimpleBranchEffectTracker()
|
|
| Method Summary | |
|---|---|
boolean |
add(int branch,
aterm.ATermAppl a)
Record that a node is affected by a branch |
SimpleBranchEffectTracker |
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. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public SimpleBranchEffectTracker()
| Method Detail |
|---|
public boolean add(int branch,
aterm.ATermAppl a)
BranchEffectTracker
add in interface BranchEffectTrackerbranch - Branch integer identifiera - Node name
true if effect not already noted for branch+node
pair, false elsepublic SimpleBranchEffectTracker copy()
BranchEffectTracker
copy in interface BranchEffectTrackerpublic java.util.Set<aterm.ATermAppl> getAll(int branch)
BranchEffectTracker
getAll in interface BranchEffectTrackerbranch - Branch integer identifier
public java.util.Set<aterm.ATermAppl> remove(int branch)
BranchEffectTracker
remove in interface BranchEffectTrackerbranch - Branch integer identifier
public java.util.Set<aterm.ATermAppl> removeAll(int branch)
BranchEffectTracker
removeAll in interface BranchEffectTrackerbranch - Branch integer identifier
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||