de.learnlib.driver.util

Class StateLocalInputMealySimulatorSUL<I,O>

java.lang.Object

de.learnlib.driver.util.MealySimulatorSUL<I,O>

de.learnlib.driver.util.StateLocalInputMealySimulatorSUL<I,O>

All Implemented Interfaces:

StateLocalInputSUL<I,O>, SUL<I,O>

public class StateLocalInputMealySimulatorSUL<I,O>
extends MealySimulatorSUL<I,O>
implements StateLocalInputSUL<I,O>

Field Summary

Fields

Modifier and Type	Field and Description
protected de.learnlib.driver.util.StateLocalInputMealySimulatorSUL.SLIMealySimulatorSULImpl<?,I,?,O>	impl

Constructor Summary

Constructors

Constructor and Description
StateLocalInputMealySimulatorSUL(StateLocalInputMealyMachine<?,I,?,O> mealy)

Method Summary

Modifier and Type	Method and Description
Collection<I>	currentlyEnabledInputs() Returns the enabled symbols for the current state of the SUL.
StateLocalInputSUL<I,O>	fork() Forks this SUL, if possible.

Methods inherited from class de.learnlib.driver.util.MealySimulatorSUL

canFork, post, pre, step

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.api.SUL

canFork, post, pre, step

Field Detail

impl

protected final de.learnlib.driver.util.StateLocalInputMealySimulatorSUL.SLIMealySimulatorSULImpl<?,I,?,O> impl

Constructor Detail

StateLocalInputMealySimulatorSUL

public StateLocalInputMealySimulatorSUL(StateLocalInputMealyMachine<?,I,?,O> mealy)

Method Detail

fork

public StateLocalInputSUL<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 reseted 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 StateLocalInputSUL<I,O>

Specified by:

fork in interface SUL<I,O>

Overrides:

fork in class MealySimulatorSUL<I,O>

Returns:

a fork of this SUL.

currentlyEnabledInputs

public Collection<I> currentlyEnabledInputs()

Description copied from interface: StateLocalInputSUL

Returns the enabled symbols for the current state of the SUL.

Specified by:

currentlyEnabledInputs in interface StateLocalInputSUL<I,O>

Returns:

the currently enabled inputs