Class DefaultReachedSet<StateT extends AbstractState<StateT>>

  • Type Parameters:
    StateT - The states contained in the reached set.
    All Implemented Interfaces:
    ReachedSet<StateT>

    public final class DefaultReachedSet<StateT extends AbstractState<StateT>>
    extends java.lang.Object
    implements ReachedSet<StateT>
    This is a LinkedHashSet-based implementation of the ReachedSet.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean add​(StateT abstractState)
      Adds an abstract state.
      boolean addAll​(java.util.Collection<? extends StateT> abstractStates)
      Adds multiple abstract states.
      java.util.Collection<StateT> asCollection()
      Returns a collection representation of itself.
      void clear()
      Empties the reached set.
      java.util.Collection<StateT> getReached​(StateT abstractState)
      Returns a collection of abstract states mergeable with the abstractState.
      boolean remove​(StateT state)
      Removes an abstract state.
      boolean removeAll​(java.util.Collection<? extends StateT> abstractStates)
      Removes multiple abstract states.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait