• Run synchronous commands over a Model and the Real system

    Throw in case of inconsistency

    Remarks

    Since 1.5.0

    Type Parameters

    • Model extends object

    • Real

    • InitialModel extends object

    Parameters

    • s: ModelRunSetup<InitialModel, Real>

      Initial state provider

    • cmds: Iterable<Command<Model, Real>>

      Synchronous commands to be executed

    Returns void

Generated using TypeDoc