net.automatalib.ts.powerset

Class PowersetDTS<S,I,T>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<Set<S>,I,Collection<T>>

net.automatalib.ts.powerset.PowersetDTS<S,I,T>

All Implemented Interfaces:

DeterministicTransitionSystem<Set<S>,I,Collection<T>>, SimpleDTS<Set<S>,I>, SimpleTS<Set<S>,I>, TransitionSystem<Set<S>,I,Collection<T>>

public class PowersetDTS<S,I,T>
extends AbstractDTS<Set<S>,I,Collection<T>>

Constructor Summary

Constructors

Constructor and Description
PowersetDTS(TransitionSystem<S,I,T> ts)

Method Summary

Methods

Modifier and Type	Method and Description
Set<S>	getInitialState()
Set<S>	getSuccessor(Collection<T> transition)
Set<S>	getSuccessor(Set<S> state, I input)
Collection<T>	getTransition(Set<S> state, I input)

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

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.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

PowersetDTS

public PowersetDTS(TransitionSystem<S,I,T> ts)

Method Detail

getInitialState

public Set<S> getInitialState()

getTransition

public Collection<T> getTransition(Set<S> state,
                          I input)

getSuccessor

public Set<S> getSuccessor(Collection<T> transition)

getSuccessor

public Set<S> getSuccessor(Set<S> state,
                  I input)

Specified by:

getSuccessor in interface SimpleDTS<Set<S>,I>

Overrides:

getSuccessor in class AbstractDTS<Set<S>,I,Collection<T>>