net.automatalib.automata.fsa.abstractimpl

Class AbstractNFA<S,I>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractAutomaton<S,I,S>

net.automatalib.automata.fsa.abstractimpl.AbstractFSA<S,I>

net.automatalib.automata.fsa.abstractimpl.AbstractNFA<S,I>

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,S>, Output<I,Boolean>, SuffixOutput<I,Boolean>, FiniteStateAcceptor<S,I>, NFA<S,I>, SimpleAutomaton<S,I>, UniversalAutomaton<S,I,S,Boolean,Void>, AcceptorTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,S>, UniversalTransitionSystem<S,I,S,Boolean,Void>

public abstract class AbstractNFA<S,I>
extends AbstractFSA<S,I>
implements NFA<S,I>

Field Summary

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
AbstractNFA()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	accepts(Iterable<I> input)
static <S,I> boolean	accepts(NFA<S,I> $this, Iterable<I> input)
boolean	isAccepting(Collection<? extends S> states)
static <S,I> boolean	isAccepting(NFA<S,I> $this, Collection<? extends S> states)

Methods inherited from class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

computeOutput, computeOutput, computeSuffixOutput, computeSuffixOutput, getStateProperty, getStateProperty, getSuccessor, getSuccessor, getTransitionProperty, getTransitionProperty

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractAutomaton

iterator, iterator, size, size, stateIDs, stateIDs

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

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.acceptors.AcceptorTS

isAccepting

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

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.concepts.SuffixOutput

computeSuffixOutput

Methods inherited from interface net.automatalib.automata.concepts.Output

computeOutput

Constructor Detail

AbstractNFA

public AbstractNFA()

Method Detail

isAccepting

public static <S,I> boolean isAccepting(NFA<S,I> $this,
                        Collection<? extends S> states)

accepts

public static <S,I> boolean accepts(NFA<S,I> $this,
                    Iterable<I> input)

isAccepting

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

Specified by:

isAccepting in interface NFA<S,I>

accepts

public boolean accepts(Iterable<I> input)

Specified by:

accepts in interface AcceptorTS<S,I>