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

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      boolean add​(int branch, openllet.aterm.ATermAppl a)
      Record that a _node is affected by a _branch
      BranchEffectTracker copy()  
      java.util.Set<openllet.aterm.ATermAppl> getAll​(int branch)
      Retrieve _nodes affected by a _branch and all subsequent branches
      java.util.Set<openllet.aterm.ATermAppl> remove​(int branch)
      Remove a _branch from the tracker.
      java.util.Set<openllet.aterm.ATermAppl> removeAll​(int branch)
      Remove a branch and all subsequent branches from the tracker.
    • Method Detail

      • add

        boolean add​(int branch,
                    openllet.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
      • getAll

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