net.automatalib.automata.fsa.impl

Class FastNFA<I>

java.lang.Object

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

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

net.automatalib.automata.abstractimpl.AbstractMutableAutomaton<S,I,T,SP,TP>

net.automatalib.automata.abstractimpl.AbstractShrinkableAutomaton<S,I,T,SP,TP>

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>, StateIDs<FastNFAState>, SuffixOutput<I,Boolean>, DOTPlottableAutomaton<FastNFAState,I,FastNFAState>, 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>, NodeIDs<FastNFAState>, Graph<FastNFAState,TransitionEdge<I,FastNFAState>>, IndefiniteGraph<FastNFAState,TransitionEdge<I,FastNFAState>>, UniversalGraph<FastNFAState,TransitionEdge<I,FastNFAState>,Boolean,TransitionEdge.Property<I,Void>>, UniversalIndefiniteGraph<FastNFAState,TransitionEdge<I,FastNFAState>,Boolean,TransitionEdge.Property<I,Void>>, 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>, DOTPlottableAutomaton<FastNFAState,I,FastNFAState>

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

Methods

Modifier and Type	Method and Description
boolean	accepts(Iterable<I> input)
FastNFAState	addInitialState(boolean accepting)
FastNFAState	addState(boolean accepting)
Boolean	computeOutput(Iterable<I> input)
Boolean	computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
FastNFAState	copyTransition(FastNFAState trans, FastNFAState succ)
protected FastNFAState	createState(Boolean property)
FastNFAState	createTransition(FastNFAState successor, Void properties)
void	flipAcceptance()
GraphDOTHelper<FastNFAState,TransitionEdge<I,FastNFAState>>	getDOTHelper()
Boolean	getStateProperty(FastNFAState state)
FastNFAState	getSuccessor(FastNFAState transition)
Void	getTransitionProperty(FastNFAState transition)
boolean	isAccepting(Collection<? extends FastNFAState> states)
boolean	isAccepting(FastNFAState state)
void	setAccepting(FastNFAState state, boolean accepting)
void	setStateProperty(FastNFAState state, Boolean property)
void	setTransitionProperty(FastNFAState transition, Void property)

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

addState, clear, createDynamicNodeMapping, createDynamicStateMapping, createStaticNodeMapping, createStaticStateMapping, getEdgeProperty, getInitialStates, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransitions, nodeIDs, removeAllTransitions, removeState, setInitial, setTransitions, stateIDs

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

removeState, removeState, unlinkState

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

addInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition

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

iterator, iterator, size, size, stateIDs

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

createDynamicStateMapping, 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.automata.MutableAutomaton

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

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.TransitionSystem

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.InputAlphabetHolder

getInputAlphabet

Methods inherited from interface net.automatalib.graphs.Graph

size

Constructor Detail

FastNFA

public FastNFA(Alphabet<I> inputAlphabet)

Method Detail

isAccepting

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

Specified by:

isAccepting in interface NFA<FastNFAState,I>

getSuccessor

public FastNFAState getSuccessor(FastNFAState transition)

Specified by:

getSuccessor in interface TransitionSystem<FastNFAState,I,FastNFAState>

accepts

public boolean accepts(Iterable<I> input)

Specified by:

accepts in interface AcceptorTS<FastNFAState,I>

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>

setStateProperty

public void setStateProperty(FastNFAState state,
                    Boolean property)

Specified by:

setStateProperty in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>

setTransitionProperty

public void setTransitionProperty(FastNFAState transition,
                         Void property)

Specified by:

setTransitionProperty in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>

createTransition

public FastNFAState createTransition(FastNFAState successor,
                            Void properties)

Specified by:

createTransition in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>

copyTransition

public FastNFAState copyTransition(FastNFAState trans,
                          FastNFAState succ)

Specified by:

copyTransition in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>

createState

protected FastNFAState createState(Boolean property)

Specified by:

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

getStateProperty

public Boolean getStateProperty(FastNFAState state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<FastNFAState,I,FastNFAState,Boolean,Void>

getTransitionProperty

public Void getTransitionProperty(FastNFAState transition)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<FastNFAState,I,FastNFAState,Boolean,Void>

flipAcceptance

public void flipAcceptance()

Specified by:

flipAcceptance in interface MutableFSA<FastNFAState,I>

computeSuffixOutput

public Boolean computeSuffixOutput(Iterable<I> prefix,
                          Iterable<I> suffix)

Specified by:

computeSuffixOutput in interface SuffixOutput<I,Boolean>

computeOutput

public Boolean computeOutput(Iterable<I> input)

Specified by:

computeOutput in interface Output<I,Boolean>

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>

getDOTHelper

public GraphDOTHelper<FastNFAState,TransitionEdge<I,FastNFAState>> getDOTHelper()

Specified by:

getDOTHelper in interface DOTPlottableAutomaton<FastNFAState,I,FastNFAState>