net.automatalib.automata.abstractimpl

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

java.lang.Object

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

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

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

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

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, MutableAutomaton<S,I,T,SP,TP>, ShrinkableAutomaton<S,I,T,SP,TP>, SimpleAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalTransitionSystem<S,I,T,SP,TP>

Direct Known Subclasses:

FastMutableNondet

public abstract class AbstractShrinkableAutomaton<S,I,T,SP,TP>
extends AbstractMutableAutomaton<S,I,T,SP,TP>
implements ShrinkableAutomaton<S,I,T,SP,TP>

Constructor Summary

Constructors

Constructor and Description
AbstractShrinkableAutomaton()

Method Summary

Methods

Modifier and Type	Method and Description
void	removeState(S state)
static <S,I,T,SP,TP> void	removeState(ShrinkableAutomaton<S,I,T,SP,TP> $this, S state)
static <S,I,T,SP,TP> void	unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton, S state, S replacement, Collection<I> inputs)

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

addInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition

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

iterator, iterator, size, size, stateIDs, stateIDs

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

AbstractShrinkableAutomaton

public AbstractShrinkableAutomaton()

Method Detail

removeState

public static <S,I,T,SP,TP> void removeState(ShrinkableAutomaton<S,I,T,SP,TP> $this,
                             S state)

unlinkState

public static <S,I,T,SP,TP> void unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton,
                             S state,
                             S replacement,
                             Collection<I> inputs)

removeState

public void removeState(S state)

Specified by:

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