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

Constructor Summary

Constructors

Constructor	Description
FastNFA(Alphabet<I> inputAlphabet)

Method Summary

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

Constructor Detail

FastNFA

public FastNFA(Alphabet<I> inputAlphabet)

Method Detail

isAccepting

public boolean isAccepting(FastNFAState state)

Description copied from interface: AcceptorTS

Checks whether the given state is accepting.

Specified by:

isAccepting in interface AcceptorTS<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 interface MutableFSA<FastNFAState,I>

addState

public FastNFAState addState(boolean accepting)

Specified by:

addState in interface MutableFSA<FastNFAState,I>

createState

protected FastNFAState createState(@Nullable Boolean property)

Specified by:

createState in class AbstractFastMutable<FastNFAState,I,FastNFAState,Boolean,Void>