com.clarkparsia.pellet

Interface BranchEffectTracker

All Known Implementing Classes:

SimpleBranchEffectTracker

public interface BranchEffectTracker

Title: Branch effect tracker

Description: Tracks the nodes changed by a branch

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Method Summary

Modifier and Type	Method and Description
boolean	add(int branch, aterm.ATermAppl a) Record that a node is affected by a branch
BranchEffectTracker	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.

Method Detail

add

boolean add(int branch,
            aterm.ATermAppl a)

Record that a node is affected by a branch

Parameters:

branch - Branch integer identifier

a - Node name

Returns:

boolean true if effect not already noted for branch+node pair, false else

copy

BranchEffectTracker copy()

Copy branch tracker

getAll

Set<aterm.ATermAppl> getAll(int branch)

Retrieve nodes affected by a branch and all subsequent branches

Parameters:

branch - Branch integer identifier

Returns:

Names of all nodes affected by branch and subsequent branches

remove

Set<aterm.ATermAppl> remove(int branch)

Remove a branch from the tracker. Note that this causes the branch to effects association to change for all subsequent branches and should only be used if the branch indices are changed in ABox and all other structures.

Parameters:

branch - Branch integer identifier

Returns:

Names of all nodes affected by branch

removeAll

Set<aterm.ATermAppl> removeAll(int branch)

Remove a branch and all subsequent branches from the tracker.

Parameters:

branch - Branch integer identifier

Returns:

Names of all nodes affected by branch and subsequent branches