Package net.automatalib.util.ts.comp
Class DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>>
- java.lang.Object
-
- net.automatalib.util.ts.comp.DTSComposition<S1,S2,I,T1,T2,TS1,TS2>
-
- All Implemented Interfaces:
DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>
,SimpleDTS<Pair<S1,S2>,I>
,SimpleTS<Pair<S1,S2>,I>
,TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>
public class DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> extends Object implements DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>
-
-
Field Summary
Fields Modifier and Type Field Description protected boolean
allowPartial
protected TS1
ts1
protected TS2
ts2
-
Constructor Summary
Constructors Constructor Description DTSComposition(TS1 ts1, TS2 ts2)
DTSComposition(TS1 ts1, TS2 ts2, boolean allowPartial)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Pair<S1,S2>
getInitialState()
Retrieves the initial state of this transition system.Pair<S1,S2>
getSuccessor(Pair<@Nullable T1,@Nullable T2> transition)
Retrieves the successor state of a given transition.@Nullable Pair<T1,T2>
getTransition(Pair<@Nullable S1,@Nullable S2> state, I input)
Retrieves the transition triggered by the given input symbol.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransitions
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialStates, getState, getStates, getSuccessor, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
-
-
-
Field Detail
-
ts1
protected final TS1 extends DeterministicTransitionSystem<S1,I,T1> ts1
-
ts2
protected final TS2 extends DeterministicTransitionSystem<S2,I,T2> ts2
-
allowPartial
protected final boolean allowPartial
-
-
Method Detail
-
getInitialState
public Pair<S1,S2> getInitialState()
Description copied from interface:SimpleDTS
Retrieves the initial state of this transition system.- Specified by:
getInitialState
in interfaceSimpleDTS<S1,S2>
- Returns:
- the initial state.
- See Also:
SimpleTS.getInitialStates()
-
getTransition
public @Nullable Pair<T1,T2> getTransition(Pair<@Nullable S1,@Nullable S2> state, I input)
Description copied from interface:DeterministicTransitionSystem
Retrieves the transition triggered by the given input symbol.- Specified by:
getTransition
in interfaceDeterministicTransitionSystem<S1,S2,I>
- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the transition triggered by the given input symbol, or
null
if no transition is triggered. - See Also:
TransitionSystem.getTransitions(Object, Object)
-
getSuccessor
public Pair<S1,S2> getSuccessor(Pair<@Nullable T1,@Nullable T2> transition)
Description copied from interface:TransitionSystem
Retrieves the successor state of a given transition.- Specified by:
getSuccessor
in interfaceTransitionSystem<S1,S2,I>
- Parameters:
transition
- the transition.- Returns:
- the successor state.
-
-