@ParametersAreNonnullByDefault public interface MutableFSA<S,I> extends FiniteStateAcceptor<S,I>, MutableAutomaton<S,I,S,Boolean,Void>
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
STATE_PROPERTIES, TRANSITION_PROPERTIES
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) |
computeOutput, computeSuffixOutput, transitionGraphView
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting, isAccepting
addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessors, getTransitions, powersetView
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
default void flipAcceptance()
void setAccepting(S state, boolean accepting)
default S addState()
default S addState(Boolean property)
MutableAutomaton
default S addInitialState()
addInitialState
in interface MutableAutomaton<S,I,S,Boolean,Void>
default S addInitialState(boolean accepting)
default S addInitialState(Boolean property)
addInitialState
in interface MutableAutomaton<S,I,S,Boolean,Void>
default void setStateProperty(S state, Boolean property)
setStateProperty
in interface MutableAutomaton<S,I,S,Boolean,Void>
default void setTransitionProperty(S transition, Void property)
setTransitionProperty
in interface MutableAutomaton<S,I,S,Boolean,Void>
default S createTransition(S successor, Void properties)
createTransition
in interface MutableAutomaton<S,I,S,Boolean,Void>
default S copyTransition(S trans, S succ)
copyTransition
in interface MutableAutomaton<S,I,S,Boolean,Void>
Copyright © 2018. All rights reserved.