net.automatalib.automata.fsa

Interface NFA<S,I>

All Superinterfaces:

AcceptorTS<S,I>, Automaton<S,I,S>, 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>, MutableDFA<S,I>, MutableNFA<S,I>

@ParametersAreNonnullByDefault
public interface NFA<S,I>
extends FiniteStateAcceptor<S,I>

Nondeterministic finite state acceptor.

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automata.fsa.FiniteStateAcceptor

FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

Field Summary

Fields inherited from interface net.automatalib.automata.fsa.FiniteStateAcceptor

STATE_PROPERTIES, TRANSITION_PROPERTIES

Method Summary

Modifier and Type	Method and Description
default boolean	isAccepting(Collection<? extends S> states)

Methods inherited from interface net.automatalib.automata.fsa.FiniteStateAcceptor

computeOutput, computeSuffixOutput, transitionGraphView

Methods inherited from interface net.automatalib.ts.acceptors.AcceptorTS

accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, getTransitions, powersetView

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

isAccepting

default boolean isAccepting(Collection<? extends S> states)

Specified by:

isAccepting in interface AcceptorTS<S,I>