Package org.svvrl.goal.core.aut

Interface ElementaryCycleListener

public interface ElementaryCycleListener
This interface defines listeners that are interested in finding elementary cycles in an automaton.
Author:
"Ming-Hsien Tsai"

  • Method Summary

    Modifier and Type Method Description
    boolean onElementaryCycleFound​(Automaton aut, StateList cycle)
    Invoked when an elementary cycle was found in an automaton.

  • Method Details

    • onElementaryCycleFound

      boolean onElementaryCycleFound​(Automaton aut, StateList cycle)
      Invoked when an elementary cycle was found in an automaton.
      Parameters:
      aut - an automaton
      cycle - an elementary cycle in the automaton
      Returns:
      false if this listener is no longer interested in any further elementary cycles found