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

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 interface AcceptorTS<S,I>