Package org.oristool.analyzer.state

Interface StateBuilder<D>

Type Parameters:
D - type of the discrete state (such as a Marking)
All Known Implementing Classes:
DeterministicEnablingStateBuilder, DeterministicEnablingTimedStateBuilder, NewlyEnablingStateBuilder
public interface StateBuilder<D>
Builds a full state representation from a discrete summary.

The full state representation may include additional information such as the support and PDF of enabled timers.

  • Method Summary

    Modifier and Type
    Method
    Description
    State
    build(D discreteState)
     

  • Method Details

    • build

      State build(D discreteState)