Module dev.civl.mc
Package dev.civl.mc.kripke.IF

Interface AtomicStep

public interface AtomicStep
This represents an atomic execution step, which represents the execution of exactly one transition.

  • Method Summary

    Modifier and Type
    Method
    Description
    State
    getPostState()
    Returns the resulting state of this atomic step.
    Transition
    getTransition()
    Returns the transition associated to this atomic step.
    void
    setPostState(State state)
    Updates the resulting state of this atomic step.

  • Method Details

    • setPostState

      void setPostState(State state)
      Updates the resulting state of this atomic step.
      Parameters:
      state - The state to be used as the resulting state.

    • getPostState

      State getPostState()
      Returns the resulting state of this atomic step.
      Returns:
      the resulting state of this atomic step.

    • getTransition

      Transition getTransition()
      Returns the transition associated to this atomic step.
      Returns:
      the transition associated to this atomic step.