Interface AnalyzerComponentsFactory<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
All Known Implementing Classes:
PetriComponentsFactory, RegenerativeComponentsFactory, StochasticComponentsFactory, TimedComponentsFactory

public interface AnalyzerComponentsFactory<M,E extends Event>
Factory for all the components used by the analyzer.
  • Method Details

    • getEnumerationPolicy

      EnumerationPolicy getEnumerationPolicy()
      Returns the policy selecting the next event to explore.
      Returns:
      policy used by the analyzer
    • getEnabledEventsBuilder

      EnabledEventsBuilder<M,E> getEnabledEventsBuilder()
      Returns the builder for the events enabled in a state.
      Returns:
      enabled events builder used by the analyzer
    • getSuccessionEvaluator

      SuccessionEvaluator<M,E> getSuccessionEvaluator()
      Returns the builder for the successor states after an event.
      Returns:
      succession evaluator used by the analyzer
    • getPreProcessor

      SuccessionProcessor getPreProcessor()
      Returns the pre-processor used before computing the enabled events.
      Returns:
      pre-processor used by the analyzer
    • getPostProcessor

      SuccessionProcessor getPostProcessor()
      Returns the post-processor used after computing a successor state.
      Returns:
      post-processor used by the analyzer
    • getLocalStopCriterion

      StopCriterion getLocalStopCriterion()
      Returns the criterion to arrest the enumeration on a specific node.
      Returns:
      local criterion used by the analyzer
    • getGlobalStopCriterion

      StopCriterion getGlobalStopCriterion()
      Returns the criterion to arrest the entire graph enumeration.
      Returns:
      global criterion used by the analyzer