Class LIFOPolicy

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

public final class LIFOPolicy extends Object implements EnumerationPolicy
LIFO enumeration policy.
  • Constructor Details

    • LIFOPolicy

      public LIFOPolicy()
  • 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.