|
||||||||||
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 BranchEffectTracker
branch
- Branch integer identifiera
- Node name
true
if effect not already noted for branch+node
pair, false
elsepublic SimpleBranchEffectTracker copy()
BranchEffectTracker
copy
in interface BranchEffectTracker
public java.util.Set<aterm.ATermAppl> getAll(int branch)
BranchEffectTracker
getAll
in interface BranchEffectTracker
branch
- Branch integer identifier
public java.util.Set<aterm.ATermAppl> remove(int branch)
BranchEffectTracker
remove
in interface BranchEffectTracker
branch
- Branch integer identifier
public java.util.Set<aterm.ATermAppl> removeAll(int branch)
BranchEffectTracker
removeAll
in interface BranchEffectTracker
branch
- Branch integer identifier
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |