Package net.automatalib.automaton.fsa
Interface NFA<S,I>
-
- All Superinterfaces:
AcceptorTS<S,I>
,Automaton<S,I,S>
,FiniteRepresentation
,FiniteStateAcceptor<S,I>
,Iterable<S>
,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:
DFA<S,I>
,Lasso.DFALasso<I>
,MutableDFA<S,I>
,MutableNFA<S,I>
- All Known Implementing Classes:
BricsDFA
,BricsNFA
,CompactDFA
,CompactNFA
,DFALassoImpl
,FastDFA
,FastNFA
public interface NFA<S,I> extends FiniteStateAcceptor<S,I>
Nondeterministic finite state acceptor.
-
-
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 Default Methods Modifier and Type Method Description default boolean
isAccepting(Collection<? extends S> states)
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
accepts, getStateProperty, getSuccessor, getTransitionProperty, 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.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
-
isAccepting
default boolean isAccepting(Collection<? extends S> states)
- Specified by:
isAccepting
in interfaceAcceptorTS<S,I>
-
-