Package org.oristool.analyzer.policy

Interface EnumerationPolicy

All Known Implementing Classes:
FIFOPolicy, LIFOPolicy, PriorityPolicy, TruncationPolicy
public interface EnumerationPolicy
Enumeration policy to select the next state to expand.

States are added to the policy as successions, together with their parent.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    add(Succession succession)
    Adds the succession child as a new state to be explored.
    boolean
    isEmpty()
    Checks whether the set of states to explore is empty.
    Succession
    remove()
    Extracts a succession: its child node is the next state to be explored.

  • Method Details

    • add

      void add(Succession succession)
      Adds the succession child as a new state to be explored.
      Parameters:
      succession - succession to be added

    • remove

      Succession remove()
      Extracts a succession: its child node is the next state to be explored.
      Returns:
      succession with next state

    • isEmpty

      boolean isEmpty()
      Checks whether the set of states to explore is empty.
      Returns:
      true if no more states should be explored.