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.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<Pair<S1,S2>,I,Pair<T1,T2>>

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

Direct Known Subclasses:

DetAcceptorComposition

public class DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>>
extends AbstractDTS<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
DTSComposition(TS1 ts1, TS2 ts2)

Method Summary

Modifier and Type	Method and Description
TS1	getFirstTS()
Pair<S1,S2>	getInitialState() Retrieves the initial state of this transition system.
TS2	getSecondTS()
Pair<S1,S2>	getSuccessor(Pair<T1,T2> transition) Retrieves the successor state of a given transition.
Pair<T1,T2>	getTransition(Pair<S1,S2> state, I input) Retrieves the transition triggered by the given input symbol.

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

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

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

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessors

Field Detail

ts1

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

ts2

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

Constructor Detail

DTSComposition

public DTSComposition(TS1 ts1,
                      TS2 ts2)

Method Detail

getFirstTS

public TS1 getFirstTS()

getSecondTS

public TS2 getSecondTS()

getInitialState

public Pair<S1,S2> getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

getTransition

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

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transition triggered by the given input symbol, or null if no transition is triggered.

See Also:

TransitionSystem.getTransitions(Object, Object)

getSuccessor

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

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Parameters:

transition - the transition.

Returns:

the successor state.