de.learnlib.driver.util

Class MealySimulatorSUL<I,O>

java.lang.Object

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

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

SUL<I,O>

public class MealySimulatorSUL<I,O>
extends Object
implements SUL<I,O>

A SUL that implements steps by stepping through a MealyMachine.

Note: this SUL is forkable.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
MealySimulatorSUL(net.automatalib.automata.transout.MealyMachine<?,I,?,O> mealy) Constructor, using null as the output for undefined transitions.
MealySimulatorSUL(net.automatalib.automata.transout.MealyMachine<?,I,?,O> mealy, O noTransOut) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	canFork()
SUL<I,O>	fork()
void	post()
void	pre()
O	step(I in)

Methods inherited from class java.lang.Object

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

Constructor Detail

MealySimulatorSUL

public MealySimulatorSUL(net.automatalib.automata.transout.MealyMachine<?,I,?,O> mealy)

Constructor, using null as the output for undefined transitions.

This constructor is provided for convenience. It is equivalent to calling MealySimulatorSUL(MealyMachine, Object) with null as the second argument.

Parameters:

mealy - Mealy machine

MealySimulatorSUL

public MealySimulatorSUL(net.automatalib.automata.transout.MealyMachine<?,I,?,O> mealy,
                         O noTransOut)

Constructor.

If the given Mealy machine has no undefined transitions, the second parameter has no effect. Otherwise, if the Mealy machine is partial and sequences of step(Object) invocations reach an undefined transition, subsequent invocations of step(Object) will simply return the specified noTransOut symbol.

Parameters:

mealy - the Mealy machine

noTransOut - the output symbol to use when encountering undefined transitions

Method Detail

pre

public void pre()

Specified by:

pre in interface SUL<I,O>

post

public void post()

Specified by:

post in interface SUL<I,O>

step

public O step(I in)
       throws SULException

Specified by:

step in interface SUL<I,O>

Throws:

SULException

canFork

public boolean canFork()

Specified by:

canFork in interface SUL<I,O>

fork

public SUL<I,O> fork()

Specified by:

fork in interface SUL<I,O>