Package net.automatalib.automaton.fsa
Class FastNFA<I>
- java.lang.Object
-
- net.automatalib.automaton.base.AbstractFastMutable<S,I,T,SP,TP>
-
- net.automatalib.automaton.base.AbstractFastMutableNondet<FastNFAState,I,FastNFAState,Boolean,Void>
-
- net.automatalib.automaton.fsa.FastNFA<I>
-
- All Implemented Interfaces:
Iterable<FastNFAState>
,SupportsGrowingAlphabet<I>
,Automaton<FastNFAState,I,FastNFAState>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Boolean>
,OutputAutomaton<FastNFAState,I,FastNFAState,Boolean>
,StateIDs<FastNFAState>
,StateLocalInput<FastNFAState,I>
,SuffixOutput<I,Boolean>
,FiniteAlphabetAutomaton<FastNFAState,I,FastNFAState>
,FiniteStateAcceptor<FastNFAState,I>
,MutableFSA<FastNFAState,I>
,MutableNFA<FastNFAState,I>
,NFA<FastNFAState,I>
,MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
,ShrinkableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
,SimpleAutomaton<FastNFAState,I>
,UniversalAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
,UniversalFiniteAlphabetAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
,GraphViewable
,AcceptorTS<FastNFAState,I>
,SimpleTS<FastNFAState,I>
,TransitionSystem<FastNFAState,I,FastNFAState>
,UniversalTransitionSystem<FastNFAState,I,FastNFAState,Boolean,Void>
public class FastNFA<I> extends AbstractFastMutableNondet<FastNFAState,I,FastNFAState,Boolean,Void> implements MutableNFA<FastNFAState,I>
-
-
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 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 FastNFAState
addState(boolean accepting)
protected FastNFAState
createState(@Nullable Boolean property)
boolean
isAccepting(FastNFAState state)
Checks whether the given state is accepting.void
setAccepting(FastNFAState state, boolean accepting)
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastMutableNondet
clear, getInitialStates, getLocalInputs, getTransitions, powersetView, removeState, setInitial, setTransitions
-
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
accepts, getStateProperty, getSuccessor, getTransitionProperty
-
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, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
-
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.fsa.NFA
isAccepting
-
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.SimpleTS
getInitialStates, getStates, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessors, getTransitions, powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView
-
-
-
-
Method Detail
-
isAccepting
public boolean isAccepting(FastNFAState state)
Description copied from interface:AcceptorTS
Checks whether the given state is accepting.- Specified by:
isAccepting
in interfaceAcceptorTS<FastNFAState,I>
- Parameters:
state
- the state- Returns:
true
if the state is accepting,false
otherwise.
-
setAccepting
public void setAccepting(FastNFAState state, boolean accepting)
- Specified by:
setAccepting
in interfaceMutableFSA<FastNFAState,I>
-
addState
public FastNFAState addState(boolean accepting)
- Specified by:
addState
in interfaceMutableFSA<FastNFAState,I>
-
createState
protected FastNFAState createState(@Nullable Boolean property)
- Specified by:
createState
in classAbstractFastMutable<FastNFAState,I,FastNFAState,Boolean,Void>
-
-