net.automatalib.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.ts.abstractimpl.AbstractTS<Pair<S1,S2>,I,Pair<T1,T2>>

net.automatalib.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 AbstractTS<Pair<S1,S2>,I,Pair<T1,T2>>

Field Summary

Fields

Modifier and Type	Field and Description
protected TS1	ts1
protected TS2	ts2

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
Set<Pair<S1,S2>>	getInitialStates()
Pair<S1,S2>	getSuccessor(Pair<T1,T2> transition)
Collection<Pair<T1,T2>>	getTransitions(Pair<S1,S2> state, I input)

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

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

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()

getTransitions

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

getSuccessor

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