Package org.oristool.analyzer

Interface EnabledEventsBuilder<M,E extends Event>

Type Parameters:
M - type of the model (such as a PetriNet
E - type of the event (such as the firing of a Transition
public interface EnabledEventsBuilder<M,E extends Event>
Common interface used by the analyzer to enumerate the events enabled in a state for a model.

  • Method Summary

    Modifier and Type
    Method
    Description
    Set<E>
    getEnabledEvents(M model, State state)
     

  • Method Details

    • getEnabledEvents

      Set<E> getEnabledEvents(M model, State state)