public class TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> extends AbstractTS<Pair<S1,S2>,I,Pair<T1,T2>>
Constructor and Description |
---|
TSComposition(TS1 ts1,
TS2 ts2)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Set<Pair<S1,S2>> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
Pair<S1,S2> |
getSuccessor(Pair<T1,T2> transition)
Retrieves the successor state of a given transition.
|
Collection<Pair<T1,T2>> |
getTransitions(Pair<S1,S2> state,
I input)
Retrieves the transitions that can be triggered by the given
input symbol.
|
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
public TSComposition(TS1 ts1, TS2 ts2)
ts1
- first transition systemts2
- second transition systempublic Set<Pair<S1,S2>> getInitialStates()
SimpleTS
public Collection<Pair<T1,T2>> getTransitions(Pair<S1,S2> state, I input)
TransitionSystem
state
- the source state.input
- the input symbol.null
if no transitions
are triggered by this input symbol.public Pair<S1,S2> getSuccessor(Pair<T1,T2> transition)
TransitionSystem
transition
- the transition.Copyright © 2015. All Rights Reserved.