Package net.automatalib.util.ts.comp

Class TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>>

java.lang.Object

net.automatalib.util.ts.comp.TSComposition<S1,S2,I,T1,T2,TS1,TS2>

All Implemented Interfaces:

SimpleTS<Pair<S1,S2>,I>, TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>

public class TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>>
extends Object
implements TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>

Field Summary

Fields

Modifier and Type	Field	Description
protected TS1	ts1
protected TS2	ts2

Constructor Summary

Constructors

Constructor	Description
TSComposition(TS1 ts1, TS2 ts2)	Constructor.

Method Summary

Modifier and Type	Method	Description
Set<Pair<S1,S2>>	getInitialStates()	Retrieves the set of initial states of the transition system.
Pair<S1,S2>	getSuccessor(Pair<T1,T2> transition)	Retrieves the successor state of a given transition.
Collection<Pair<T1,T2>>	getTransitions(Pair<S1,S2> state, I input)	Retrieves the transitions that can be triggered by the given input symbol.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, powersetView

Field Detail

ts1

protected final TS1 extends TransitionSystem<S1,I,T1> ts1

ts2

protected final TS2 extends TransitionSystem<S2,I,T2> ts2

Constructor Detail

TSComposition

public TSComposition(TS1 ts1,
                     TS2 ts2)

Constructor.

Parameters:

ts1 - first transition system

ts2 - second transition system

Method Detail

getInitialStates

public Set<Pair<S1,S2>> getInitialStates()

Description copied from interface: SimpleTS

Retrieves the set of initial states of the transition system.

Specified by:

getInitialStates in interface SimpleTS<S1,S2>

Returns:

the initial states.

getTransitions

public Collection<Pair<T1,T2>> getTransitions(Pair<S1,S2> state,
                                                    I input)

Description copied from interface: TransitionSystem

Retrieves the transitions that can be triggered by the given input symbol.

The return value must not be null; if there are no transitions triggered by the specified input, Collections.emptySet() should be returned.

Specified by:

getTransitions in interface TransitionSystem<S1,S2,I>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transitions triggered by the given input

getSuccessor

public Pair<S1,S2> getSuccessor(Pair<T1,T2> transition)

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Specified by:

getSuccessor in interface TransitionSystem<S1,S2,I>

Parameters:

transition - the transition.

Returns:

the successor state.