public class DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> extends Object implements DeterministicTransitionSystem<IPair<S1,S2>,I,IPair<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() |
IPair<S1,S2> |
getInitialState()
Retrieves the initial state of this transition system.
|
TS2 |
getSecondTS() |
IPair<S1,S2> |
getSuccessor(IPair<T1,T2> transition)
Retrieves the successor state of a given transition.
|
IPair<T1,T2> |
getTransition(IPair<S1,S2> state,
I input)
Retrieves the transition triggered by the given input symbol.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessor, getSuccessors, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, 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 IPair<S1,S2> getInitialState()
SimpleDTS
getInitialState
in interface SimpleDTS<IPair<S1,S2>,I>
SimpleTS.getInitialStates()
public IPair<T1,T2> getTransition(IPair<S1,S2> state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<IPair<S1,S2>,I,IPair<T1,T2>>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public IPair<S1,S2> getSuccessor(IPair<T1,T2> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<IPair<S1,S2>,I,IPair<T1,T2>>
transition
- the transition.Copyright © 2015. All rights reserved.