net.automatalib.ts.comp

Class DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>>

java.lang.Object

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

All Implemented Interfaces:

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

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

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
DTSComposition(TS1 ts1, TS2 ts2)
DTSComposition(TS1 ts1, TS2 ts2, boolean allowPartial)

Method Summary

Modifier and Type	Method and Description
TS1	getFirstTS()
Pair<S1,S2>	getInitialState()
TS2	getSecondTS()
Pair<S1,S2>	getSuccessor(Pair<T1,T2> transition)
Pair<T1,T2>	getTransition(Pair<S1,S2> state, I input)

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.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Field Detail

ts1

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

ts2

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

allowPartial

protected final boolean allowPartial

Constructor Detail

DTSComposition

public DTSComposition(TS1 ts1,
                      TS2 ts2)

DTSComposition

public DTSComposition(TS1 ts1,
                      TS2 ts2,
                      boolean allowPartial)

Method Detail

getFirstTS

public TS1 getFirstTS()

getSecondTS

public TS2 getSecondTS()

getInitialState

public Pair<S1,S2> getInitialState()

Specified by:

getInitialState in interface SimpleDTS<Pair<S1,S2>,I>

getTransition

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

Specified by:

getTransition in interface DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>

getSuccessor

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

Specified by:

getSuccessor in interface TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>