public class TSComposition<S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> extends AbstractTS<CompState<S1,S2>,I,CompTrans<T1,T2>>
Constructor and Description |
---|
TSComposition(TS1 ts1,
TS2 ts2)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Set<? extends CompState<S1,S2>> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
CompState<S1,S2> |
getSuccessor(CompTrans<T1,T2> transition)
Retrieves the successor state of a given transition.
|
Collection<CompTrans<T1,T2>> |
getTransitions(CompState<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
protected final TS1 extends TransitionSystem<S1,I,T1> ts1
protected final TS2 extends TransitionSystem<S2,I,T2> ts2
public Set<? extends CompState<S1,S2>> getInitialStates()
SimpleTS
public Collection<CompTrans<T1,T2>> getTransitions(CompState<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.
state
- the source state.input
- the input symbol.Copyright © 2015. All rights reserved.