Package net.automatalib.automaton.fsa
Class FastDFA<I>
- java.lang.Object
-
- net.automatalib.automaton.base.AbstractFastMutable<S,I,T,SP,TP>
-
- net.automatalib.automaton.base.AbstractFastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>
-
- net.automatalib.automaton.fsa.FastDFA<I>
-
- All Implemented Interfaces:
Iterable<FastDFAState>
,SupportsGrowingAlphabet<I>
,Automaton<FastDFAState,I,FastDFAState>
,DetOutputAutomaton<FastDFAState,I,FastDFAState,Boolean>
,DetSuffixOutputAutomaton<FastDFAState,I,FastDFAState,Boolean>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Boolean>
,OutputAutomaton<FastDFAState,I,FastDFAState,Boolean>
,StateIDs<FastDFAState>
,StateLocalInput<FastDFAState,I>
,SuffixOutput<I,Boolean>
,DeterministicAutomaton<FastDFAState,I,FastDFAState>
,FiniteAlphabetAutomaton<FastDFAState,I,FastDFAState>
,DFA<FastDFAState,I>
,FiniteStateAcceptor<FastDFAState,I>
,MutableDFA<FastDFAState,I>
,MutableFSA<FastDFAState,I>
,NFA<FastDFAState,I>
,MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
,MutableDeterministic<FastDFAState,I,FastDFAState,Boolean,Void>
,ShrinkableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
,ShrinkableDeterministic<FastDFAState,I,FastDFAState,Boolean,Void>
,SimpleAutomaton<FastDFAState,I>
,SimpleDeterministicAutomaton<FastDFAState,I>
,UniversalAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
,UniversalDeterministicAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
,UniversalFiniteAlphabetAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
,GraphViewable
,AcceptorTS<FastDFAState,I>
,DeterministicAcceptorTS<FastDFAState,I>
,DeterministicTransitionSystem<FastDFAState,I,FastDFAState>
,SimpleDTS<FastDFAState,I>
,SimpleTS<FastDFAState,I>
,TransitionSystem<FastDFAState,I,FastDFAState>
,UniversalDTS<FastDFAState,I,FastDFAState,Boolean,Void>
,UniversalTransitionSystem<FastDFAState,I,FastDFAState,Boolean,Void>
public class FastDFA<I> extends AbstractFastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void> implements MutableDFA<FastDFAState,I>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
-
-
Field Summary
-
Fields inherited from class net.automatalib.automaton.base.AbstractFastMutable
inputAlphabet
-
Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
STATE_PROPERTIES, TRANSITION_PROPERTIES
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FastDFAState
addState(boolean accepting)
protected FastDFAState
createState(@Nullable Boolean accepting)
boolean
isAccepting(FastDFAState state)
Checks whether the given state is accepting.void
setAccepting(FastDFAState state, boolean accepting)
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastMutableDet
clear, getInitialState, getLocalInputs, getTransition, powersetView, removeState, setInitialState, setTransition
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastMutable
addAlphabetSymbol, addState, createDynamicStateMapping, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, stateIDs
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty, getSuccessor, getTransitionProperty
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.fsa.DFA
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, graphView
-
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, addTransitions, clear, removeAllTransitions
-
Methods inherited from interface net.automatalib.automaton.MutableDeterministic
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
-
Methods inherited from interface net.automatalib.automaton.fsa.MutableFSA
addInitialState, addInitialState, addInitialState, addState, addState, copyTransition, createTransition, flipAcceptance, setStateProperty, setTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.ShrinkableAutomaton
removeState
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView
-
-
-
-
Method Detail
-
createState
protected FastDFAState createState(@Nullable Boolean accepting)
- Specified by:
createState
in classAbstractFastMutable<FastDFAState,I,FastDFAState,Boolean,Void>
-
isAccepting
public boolean isAccepting(FastDFAState state)
Description copied from interface:AcceptorTS
Checks whether the given state is accepting.- Specified by:
isAccepting
in interfaceAcceptorTS<FastDFAState,I>
- Parameters:
state
- the state- Returns:
true
if the state is accepting,false
otherwise.
-
setAccepting
public void setAccepting(FastDFAState state, boolean accepting)
- Specified by:
setAccepting
in interfaceMutableFSA<FastDFAState,I>
-
addState
public FastDFAState addState(boolean accepting)
- Specified by:
addState
in interfaceMutableFSA<FastDFAState,I>
-
-