Module de.learnlib.driver.simulator
Package de.learnlib.driver.simulator

Class ObservableMealySimulatorSUL<S,I,O>

java.lang.Object
de.learnlib.driver.simulator.MealySimulatorSUL<I,O>
de.learnlib.driver.simulator.ObservableMealySimulatorSUL<S,I,O>
All Implemented Interfaces:
ObservableSUL<S,I,O>, SUL<I,O>
public class ObservableMealySimulatorSUL<S,I,O> extends MealySimulatorSUL<I,O> implements ObservableSUL<S,I,O>

  • Constructor Details

    • ObservableMealySimulatorSUL

      public ObservableMealySimulatorSUL(MealyMachine<S,I,?,O> mealy)

    • ObservableMealySimulatorSUL

      public ObservableMealySimulatorSUL(MealyMachine<S,I,?,O> mealy, O noTransOut)

  • Method Details

    • getState

      public S getState()
      Description copied from interface: ObservableSUL
      Returns the current state of the system.

      Implementation note: it is important that the returned Object has a well-defined Object.equals(Object) method, and a good Object.hashCode() function.

      Specified by:
      getState in interface ObservableSUL<S,I,O>
      Returns:
      the current state of the system.

    • fork

      public ObservableSUL<S,I,O> fork()
      Description copied from interface: SUL
      Forks this SUL, if possible. The fork of a SUL is a copy which behaves exactly the same as this SUL. This method should always return a reset SUL, regardless of whether this call is made between a call to SUL.pre() and SUL.post().

      If SUL.canFork() returns true, this method must return a non-null object, which should behave exactly like this SUL (in particular, it must be forkable as well). Otherwise, a UnsupportedOperationException must be thrown.

      Implementation note: if resetting a SUL changes the internal state of this object in a non-trivial way (e.g., incrementing a counter to ensure independent sessions), care must be taken that forks of this SUL manipulate the same internal state.

      Specified by:
      fork in interface ObservableSUL<S,I,O>
      Specified by:
      fork in interface SUL<S,I>
      Overrides:
      fork in class MealySimulatorSUL<I,O>
      Returns:
      a fork of this SUL.