Module de.learnlib.driver.simulator

Package de.learnlib.driver.simulator

Class StateLocalInputMealySimulatorSUL<I,O>

java.lang.Object

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

de.learnlib.driver.simulator.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>

Constructor Summary

Constructors

Constructor	Description
StateLocalInputMealySimulatorSUL(net.automatalib.automaton.transducer.StateLocalInputMealyMachine<?,I,?,O> mealy)

Method Summary

Modifier and Type	Method	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.simulator.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.sul.SUL

canFork, post, pre, step

Constructor Detail

StateLocalInputMealySimulatorSUL

public StateLocalInputMealySimulatorSUL(net.automatalib.automaton.transducer.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