Module net.automatalib.core
Package net.automatalib.ts.powerset.impl
Class FastPowersetDTS<S extends NumericID,I,T>
- java.lang.Object
-
- net.automatalib.ts.powerset.PowersetView<S,I,T>
-
- net.automatalib.ts.powerset.impl.FastPowersetDTS<S,I,T>
-
- All Implemented Interfaces:
DeterministicTransitionSystem<Set<S>,I,Collection<T>>
,PowersetViewTS<Set<S>,I,Collection<T>,S,T>
,SimpleDTS<Set<S>,I>
,SimpleTS<Set<S>,I>
,TransitionSystem<Set<S>,I,Collection<T>>
public class FastPowersetDTS<S extends NumericID,I,T> extends PowersetView<S,I,T>
-
-
Constructor Summary
Constructors Constructor Description FastPowersetDTS(TransitionSystem<S,I,T> ts)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Set<S>
getInitialState()
Retrieves the initial state of this transition system.Set<S>
getSuccessor(Collection<T> transition)
Retrieves the successor state of a given transition.Collection<T>
getTransition(Set<S> state, I input)
Retrieves the transition triggered by the given input symbol.-
Methods inherited from class net.automatalib.ts.powerset.PowersetView
getOriginalStates, getOriginalTransitions
-
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, powersetView
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialStates, getState, getStates, getSuccessor
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
-
-
-
Constructor Detail
-
FastPowersetDTS
public FastPowersetDTS(TransitionSystem<S,I,T> ts)
-
-
Method Detail
-
getInitialState
public Set<S> getInitialState()
Description copied from interface:SimpleDTS
Retrieves the initial state of this transition system.- Specified by:
getInitialState
in interfaceSimpleDTS<S extends NumericID,I>
- Overrides:
getInitialState
in classPowersetView<S extends NumericID,I,T>
- Returns:
- the initial state.
- See Also:
SimpleTS.getInitialStates()
-
getSuccessor
public Set<S> getSuccessor(Collection<T> transition)
Description copied from interface:TransitionSystem
Retrieves the successor state of a given transition.- Specified by:
getSuccessor
in interfaceTransitionSystem<S extends NumericID,I,T>
- Overrides:
getSuccessor
in classPowersetView<S extends NumericID,I,T>
- Parameters:
transition
- the transition.- Returns:
- the successor state.
-
getTransition
public Collection<T> getTransition(Set<S> state, I input)
Description copied from interface:DeterministicTransitionSystem
Retrieves the transition triggered by the given input symbol.- Specified by:
getTransition
in interfaceDeterministicTransitionSystem<S extends NumericID,I,T>
- Overrides:
getTransition
in classPowersetView<S extends NumericID,I,T>
- 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)
-
-