Package net.automatalib.automaton.fsa
Interface MutableFSA<S,I>
-
- All Superinterfaces:
AcceptorTS<S,I>
,Automaton<S,I,S>
,FiniteRepresentation
,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>
- All Known Implementing Classes:
CompactDFA
,CompactNFA
,FastDFA
,FastNFA
public interface MutableFSA<S,I> extends FiniteStateAcceptor<S,I>, MutableAutomaton<S,I,S,Boolean,Void>
-
-
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
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default S
addInitialState()
default S
addInitialState(boolean accepting)
default S
addInitialState(@Nullable Boolean property)
default S
addState()
S
addState(boolean accepting)
default S
addState(@Nullable 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.ts.acceptor.AcceptorTS
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting, 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.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
-
-
-
-
Method Detail
-
flipAcceptance
default void flipAcceptance()
-
setAccepting
void setAccepting(S state, boolean accepting)
-
addState
S addState(boolean accepting)
-
addState
default S addState()
-
addState
default S addState(@Nullable Boolean property)
Description copied from interface:MutableAutomaton
Adds a state to the automaton.
-
addInitialState
default S addInitialState()
- Specified by:
addInitialState
in interfaceMutableAutomaton<S,I,S,Boolean,Void>
-
addInitialState
default S addInitialState(boolean accepting)
-
addInitialState
default S addInitialState(@Nullable Boolean property)
- Specified by:
addInitialState
in interfaceMutableAutomaton<S,I,S,Boolean,Void>
-
setStateProperty
default void setStateProperty(S state, Boolean property)
- Specified by:
setStateProperty
in interfaceMutableAutomaton<S,I,S,Boolean,Void>
-
setTransitionProperty
default void setTransitionProperty(S transition, Void property)
- Specified by:
setTransitionProperty
in interfaceMutableAutomaton<S,I,S,Boolean,Void>
-
createTransition
default S createTransition(S successor, Void properties)
- Specified by:
createTransition
in interfaceMutableAutomaton<S,I,S,Boolean,Void>
-
copyTransition
default S copyTransition(S trans, S succ)
- Specified by:
copyTransition
in interfaceMutableAutomaton<S,I,S,Boolean,Void>
-
-