net.automatalib.automata.fsa.impl

Class FastNFA<I>

java.lang.Object

net.automatalib.automata.base.fast.FastMutableNondet<FastNFAState,I,FastNFAState,Boolean,Void>

net.automatalib.automata.fsa.impl.FastNFA<I>

All Implemented Interfaces:

Iterable<FastNFAState>, Automaton<FastNFAState,I,FastNFAState>, InputAlphabetHolder<I>, Output<I,Boolean>, OutputAutomaton<FastNFAState,I,FastNFAState,Boolean>, StateIDs<FastNFAState>, 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 FastMutableNondet<FastNFAState,I,FastNFAState,Boolean,Void>
implements MutableNFA<FastNFAState,I>

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 class net.automatalib.automata.base.fast.FastMutableNondet

inputAlphabet

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
FastNFA(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
FastNFAState	addInitialState(boolean accepting)
FastNFAState	addState(boolean accepting)
protected FastNFAState	createState(Boolean property)
boolean	isAccepting(FastNFAState state)
void	setAccepting(FastNFAState state, boolean accepting)

Methods inherited from class net.automatalib.automata.base.fast.FastMutableNondet

addState, clear, createDynamicStateMapping, createStaticStateMapping, getInitialStates, getInputAlphabet, getState, getStateId, getStates, getTransitions, removeAllTransitions, removeState, setInitial, setTransitions, 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.automata.fsa.NFA

isAccepting

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

addInitialState, addInitialState, addState, addState, copyTransition, createTransition, flipAcceptance, setStateProperty, setTransitionProperty

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

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions

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

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, getTransitions, powersetView

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

createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.ShrinkableAutomaton

removeState, unlinkState

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Constructor Detail

FastNFA

public FastNFA(Alphabet<I> inputAlphabet)

Method Detail

isAccepting

public boolean isAccepting(FastNFAState state)

Specified by:

isAccepting in interface AcceptorTS<FastNFAState,I>

setAccepting

public void setAccepting(FastNFAState state,
                         boolean accepting)

Specified by:

setAccepting in interface MutableFSA<FastNFAState,I>

createState

protected FastNFAState createState(Boolean property)

Specified by:

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

addState

public FastNFAState addState(boolean accepting)

Specified by:

addState in interface MutableFSA<FastNFAState,I>

addInitialState

public FastNFAState addInitialState(boolean accepting)

Specified by:

addInitialState in interface MutableFSA<FastNFAState,I>