Package net.automatalib.util.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.util.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	Description
protected boolean	allowPartial
protected TS1	ts1
protected TS2	ts2

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Pair<S1,S2>	getInitialState()	Retrieves the initial state of this transition system.
Pair<S1,S2>	getSuccessor(Pair<@Nullable T1,@Nullable T2> transition)	Retrieves the successor state of a given transition.
@Nullable Pair<T1,T2>	getTransition(Pair<@Nullable S1,@Nullable S2> state, I input)	Retrieves the transition 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.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

getInitialState

public Pair<S1,S2> getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

getInitialState in interface SimpleDTS<S1,S2>

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

getTransition

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

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<S1,S2,I>

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<@Nullable T1,@Nullable 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.