net.automatalib.automata.abstractimpl

Class AbstractShrinkableDeterministic<S,I,T,SP,TP>

java.lang.Object

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

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

net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<S,I,T>

net.automatalib.automata.abstractimpl.AbstractMutableDeterministic<S,I,T,SP,TP>

net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic<S,I,T,SP,TP>

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, MutableAutomaton<S,I,T,SP,TP>, MutableDeterministic<S,I,T,SP,TP>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalDTS<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

Direct Known Subclasses:

FastMutableDet

public abstract class AbstractShrinkableDeterministic<S,I,T,SP,TP>
extends AbstractMutableDeterministic<S,I,T,SP,TP>
implements ShrinkableDeterministic<S,I,T,SP,TP>

Constructor Summary

Constructors

Constructor and Description
AbstractShrinkableDeterministic()

Method Summary

Methods

Modifier and Type	Method and Description
void	removeState(S state)

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

iterator, size, stateIDs

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

getInitialStates, getInitialStates, getState, getState, getSuccessor, 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.automata.MutableDeterministic

setInitialState, setTransition, setTransition

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

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

getInitialState, getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.automata.ShrinkableAutomaton

removeState

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

AbstractShrinkableDeterministic

public AbstractShrinkableDeterministic()

Method Detail

removeState

public void removeState(S state)

Specified by:

removeState in interface ShrinkableAutomaton<S,I,T,SP,TP>