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>>
Modifier and Type | Field and Description |
---|---|
protected boolean |
allowPartial |
protected TS1 |
ts1 |
protected TS2 |
ts2 |
Constructor and Description |
---|
DTSComposition(TS1 ts1,
TS2 ts2) |
DTSComposition(TS1 ts1,
TS2 ts2,
boolean allowPartial) |
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.
|
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
powersetView
createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessors
protected final TS1 extends DeterministicTransitionSystem<S1,I,T1> ts1
protected final TS2 extends DeterministicTransitionSystem<S2,I,T2> ts2
protected final boolean allowPartial
public TS1 getFirstTS()
public TS2 getSecondTS()
public Pair<S1,S2> getInitialState()
SimpleDTS
SimpleTS.getInitialStates()
public Pair<T1,T2> getTransition(Pair<S1,S2> state, I input)
DeterministicTransitionSystem
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
Copyright © 2015. All rights reserved.