Class FIFOPolicy

java.lang.Object
org.oristool.analyzer.policy.FIFOPolicy
All Implemented Interfaces:
EnumerationPolicy

public final class FIFOPolicy extends Object implements EnumerationPolicy
FIFO enumeration policy.
  • Constructor Details

    • FIFOPolicy

      public FIFOPolicy()
  • Method Details

    • add

      public void add(Succession succession)
      Description copied from interface: EnumerationPolicy
      Adds the succession child as a new state to be explored.
      Specified by:
      add in interface EnumerationPolicy
      Parameters:
      succession - succession to be added
    • remove

      public Succession remove()
      Description copied from interface: EnumerationPolicy
      Extracts a succession: its child node is the next state to be explored.
      Specified by:
      remove in interface EnumerationPolicy
      Returns:
      succession with next state
    • isEmpty

      public boolean isEmpty()
      Description copied from interface: EnumerationPolicy
      Checks whether the set of states to explore is empty.
      Specified by:
      isEmpty in interface EnumerationPolicy
      Returns:
      true if no more states should be explored.