net.automatalib.automata.fsa

Interface MutableFSA<S,I>

All Superinterfaces:

AcceptorTS<S,I>, Automaton<S,I,S>, FiniteStateAcceptor<S,I>, Iterable<S>, MutableAutomaton<S,I,S,Boolean,Void>, 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>

All Known Subinterfaces:

MutableDFA<S,I>, MutableNFA<S,I>

@ParametersAreNonnullByDefault
public interface MutableFSA<S,I>
extends FiniteStateAcceptor<S,I>, MutableAutomaton<S,I,S,Boolean,Void>

Author:

fh

Nested Class Summary

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

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

Field Summary

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Method Summary

Modifier and Type	Method and Description
default S	addInitialState()
default S	addInitialState(boolean accepting)
default S	addInitialState(Boolean property)
default S	addState()
S	addState(boolean accepting)
default S	addState(Boolean property) Adds a state to the automaton.
default S	copyTransition(S trans, S succ)
default S	createTransition(S successor, Void properties)
default void	flipAcceptance()
void	setAccepting(S state, boolean accepting)
default void	setStateProperty(S state, Boolean property)
default void	setTransitionProperty(S transition, Void property)

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

computeOutput, computeSuffixOutput, transitionGraphView

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

accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting, isAccepting

Methods inherited from interface net.automatalib.automata.MutableAutomaton

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

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

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, getTransitions, powersetView

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

createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Method Detail

flipAcceptance

default void flipAcceptance()

setAccepting

void setAccepting(S state,
                  boolean accepting)

addState

@Nonnull
S addState(boolean accepting)

addState

default S addState()

Specified by:

addState in interface MutableAutomaton<S,I,S,Boolean,Void>

addState

default S addState(Boolean property)

Description copied from interface: MutableAutomaton

Adds a state to the automaton.

Specified by:

addState in interface MutableAutomaton<S,I,S,Boolean,Void>

addInitialState

default S addInitialState()

Specified by:

addInitialState in interface MutableAutomaton<S,I,S,Boolean,Void>

addInitialState

default S addInitialState(boolean accepting)

addInitialState

default S addInitialState(Boolean property)

Specified by:

addInitialState in interface MutableAutomaton<S,I,S,Boolean,Void>

setStateProperty

default void setStateProperty(S state,
                              Boolean property)

Specified by:

setStateProperty in interface MutableAutomaton<S,I,S,Boolean,Void>

setTransitionProperty

default void setTransitionProperty(S transition,
                                   Void property)

Specified by:

setTransitionProperty in interface MutableAutomaton<S,I,S,Boolean,Void>

createTransition

default S createTransition(S successor,
                           Void properties)

Specified by:

createTransition in interface MutableAutomaton<S,I,S,Boolean,Void>

copyTransition

default S copyTransition(S trans,
                         S succ)

Specified by:

copyTransition in interface MutableAutomaton<S,I,S,Boolean,Void>