public class TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> extends Object implements TransitionSystem<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.
|
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<Pair<S1,S2>> getInitialStates()
SimpleTS
public Collection<Pair<T1,T2>> getTransitions(Pair<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<Pair<S1,S2>,I,Pair<T1,T2>>
state
- the source state.input
- the input symbol.public Pair<S1,S2> getSuccessor(Pair<T1,T2> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>
transition
- the transition.Copyright © 2019. All rights reserved.