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

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

java.util.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

java.util.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

java.util.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


Copyright © 2004 Evren Sirin. All Rights Reserved.