public class TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> extends Object implements TransitionSystem<IPair<S1,S2>,I,IPair<T1,T2>>
Constructor and Description |
---|
TSComposition(TS1 ts1,
TS2 ts2)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Set<? extends IPair<S1,S2>> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
IPair<S1,S2> |
getSuccessor(IPair<T1,T2> transition)
Retrieves the successor state of a given transition.
|
Collection<IPair<T1,T2>> |
getTransitions(IPair<S1,S2> state,
I input)
Retrieves the transitions that can be triggered by the given
input symbol.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessors, powersetView
createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors
protected final TS1 extends TransitionSystem<S1,I,T1> ts1
protected final TS2 extends TransitionSystem<S2,I,T2> ts2
public Set<? extends IPair<S1,S2>> getInitialStates()
SimpleTS
public Collection<IPair<T1,T2>> getTransitions(IPair<S1,S2> state, I input)
TransitionSystem
The return value must not be null
; if there
are no transitions triggered by the specified input,
Collections.emptySet()
should be returned.
getTransitions
in interface TransitionSystem<IPair<S1,S2>,I,IPair<T1,T2>>
state
- the source state.input
- the input symbol.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.