Package net.automatalib.automaton.fsa

Interface MutableNFA<S,I>

All Superinterfaces:

AcceptorTS<S,I>, Automaton<S,I,S>, FiniteRepresentation, FiniteStateAcceptor<S,I>, Iterable<S>, MutableAutomaton<S,I,S,Boolean,Void>, MutableFSA<S,I>, NFA<S,I>, Output<I,Boolean>, OutputAutomaton<S,I,S,Boolean>, SimpleAutomaton<S,I>, SimpleTS<S,I>, SuffixOutput<I,Boolean>, TransitionSystem<S,I,S>, UniversalAutomaton<S,I,S,Boolean,Void>, UniversalTransitionSystem<S,I,S,Boolean,Void>

public interface MutableNFA<S,I>
extends NFA<S,I>, MutableFSA<S,I>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

Field Summary

Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

STATE_PROPERTIES, TRANSITION_PROPERTIES

Method Summary

Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS

accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting

Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

computeOutput, computeSuffixOutput, transitionGraphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions

Methods inherited from interface net.automatalib.automaton.fsa.MutableFSA

addInitialState, addInitialState, addInitialState, addState, addState, addState, copyTransition, createTransition, flipAcceptance, setAccepting, setStateProperty, setTransitionProperty

Methods inherited from interface net.automatalib.automaton.fsa.NFA

isAccepting

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

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

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

getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, getTransitions, powersetView