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(@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) |
computeOutput, computeSuffixOutput, transitionGraphView
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting, isAccepting
addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessors, getTransitions, powersetView
getInitialStates, getStates, getSuccessors, getSuccessors
default void flipAcceptance()
void setAccepting(S state, boolean accepting)
S addState(boolean accepting)
default S addState()
default S addState(@Nullable Boolean property)
MutableAutomaton
default S addInitialState()
addInitialState
in interface MutableAutomaton<S,I,S,Boolean,Void>
default S addInitialState(boolean accepting)
default S addInitialState(@Nullable 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 © 2020. All rights reserved.