net.automatalib.automata.fsa.impl

Class FastDFA<I>

java.lang.Object

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

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

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

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

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

net.automatalib.automata.base.fast.FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>

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

All Implemented Interfaces:

Iterable<FastDFAState>, Automaton<FastDFAState,I,FastDFAState>, DetOutputAutomaton<FastDFAState,I,FastDFAState,Boolean>, InputAlphabetHolder<I>, Output<I,Boolean>, OutputAutomaton<FastDFAState,I,FastDFAState,Boolean>, SODetOutputAutomaton<FastDFAState,I,FastDFAState,Boolean>, StateIDs<FastDFAState>, SuffixOutput<I,Boolean>, DeterministicAutomaton<FastDFAState,I,FastDFAState>, FiniteAlphabetAutomaton<FastDFAState,I,FastDFAState>, DFA<FastDFAState,I>, FiniteStateAcceptor<FastDFAState,I>, MutableDFA<FastDFAState,I>, MutableFSA<FastDFAState,I>, MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>, MutableDeterministic<FastDFAState,I,FastDFAState,Boolean,Void>, ShrinkableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>, ShrinkableDeterministic<FastDFAState,I,FastDFAState,Boolean,Void>, SimpleAutomaton<FastDFAState,I>, SimpleDeterministicAutomaton<FastDFAState,I>, UniversalAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>, UniversalDeterministicAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>, NodeIDs<FastDFAState>, Graph<FastDFAState,TransitionEdge<I,FastDFAState>>, IndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>>, UniversalGraph<FastDFAState,TransitionEdge<I,FastDFAState>,Boolean,TransitionEdge.Property<I,Void>>, UniversalIndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>,Boolean,TransitionEdge.Property<I,Void>>, AcceptorTS<FastDFAState,I>, DeterministicAcceptorTS<FastDFAState,I>, DeterministicTransitionSystem<FastDFAState,I,FastDFAState>, SimpleDTS<FastDFAState,I>, SimpleTS<FastDFAState,I>, TransitionSystem<FastDFAState,I,FastDFAState>, UniversalDTS<FastDFAState,I,FastDFAState,Boolean,Void>, UniversalTransitionSystem<FastDFAState,I,FastDFAState,Boolean,Void>

public final class FastDFA<I>
extends FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>
implements MutableDFA<FastDFAState,I>

Field Summary

Fields inherited from class net.automatalib.automata.base.fast.FastMutableDet

inputAlphabet

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
FastDFA(Alphabet<I> alphabet)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	accepts(Iterable<I> input)
FastDFAState	addInitialState(boolean accepting)
FastDFAState	addState(boolean accepting)
Boolean	computeOutput(Iterable<I> input)
Boolean	computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
FastDFAState	copyTransition(FastDFAState trans, FastDFAState succ)
<V> MutableMapping<FastDFAState,V>	createDynamicNodeMapping()
protected FastDFAState	createState(boolean accepting)
protected FastDFAState	createState(Boolean property)
<V> MutableMapping<FastDFAState,V>	createStaticNodeMapping()
FastDFAState	createTransition(FastDFAState successor, Void properties)
void	flipAcceptance()
Boolean	getStateProperty(FastDFAState state)
FastDFAState	getSuccessor(FastDFAState transition)
Void	getTransitionProperty(FastDFAState transition)
boolean	isAccepting(FastDFAState state)
void	setAccepting(FastDFAState state, boolean accepting)
void	setStateProperty(FastDFAState state, Boolean property)
void	setTransitionProperty(FastDFAState transition, Void property)

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

addState, clear, createDynamicStateMapping, createStaticStateMapping, getEdgeProperty, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransition, nodeIDs, removeAllTransitions, removeState, setInitialState, setTransition, stateIDs

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

removeState

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

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

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

iterator, size

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

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

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.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getTransitions, powersetView

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

getInitialState, getState, getSuccessor, getSuccessor

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

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

Methods inherited from interface net.automatalib.automata.MutableDeterministic

setInitialState, setTransition, setTransition

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.graphs.Graph

size

Constructor Detail

FastDFA

public FastDFA(Alphabet<I> alphabet)

Method Detail

getSuccessor

public FastDFAState getSuccessor(FastDFAState transition)

Specified by:

getSuccessor in interface TransitionSystem<FastDFAState,I,FastDFAState>

createStaticNodeMapping

public <V> MutableMapping<FastDFAState,V> createStaticNodeMapping()

Specified by:

createStaticNodeMapping in interface IndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>>

Overrides:

createStaticNodeMapping in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>

createDynamicNodeMapping

public <V> MutableMapping<FastDFAState,V> createDynamicNodeMapping()

Specified by:

createDynamicNodeMapping in interface IndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>>

Overrides:

createDynamicNodeMapping in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>

getStateProperty

public Boolean getStateProperty(FastDFAState state)

Specified by:

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

getTransitionProperty

public Void getTransitionProperty(FastDFAState transition)

Specified by:

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

setStateProperty

public void setStateProperty(FastDFAState state,
                    Boolean property)

Specified by:

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

setTransitionProperty

public void setTransitionProperty(FastDFAState transition,
                         Void property)

Specified by:

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

createTransition

public FastDFAState createTransition(FastDFAState successor,
                            Void properties)

Specified by:

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

copyTransition

public FastDFAState copyTransition(FastDFAState trans,
                          FastDFAState succ)

Specified by:

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

createState

protected FastDFAState createState(Boolean property)

Specified by:

createState in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>

createState

protected FastDFAState createState(boolean accepting)

isAccepting

public boolean isAccepting(FastDFAState state)

Specified by:

isAccepting in interface AcceptorTS<FastDFAState,I>

accepts

public boolean accepts(Iterable<I> input)

Specified by:

accepts in interface AcceptorTS<FastDFAState,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 FastDFAState addState(boolean accepting)

Specified by:

addState in interface MutableFSA<FastDFAState,I>

addInitialState

public FastDFAState addInitialState(boolean accepting)

Specified by:

addInitialState in interface MutableFSA<FastDFAState,I>

setAccepting

public void setAccepting(FastDFAState state,
                boolean accepting)

Specified by:

setAccepting in interface MutableFSA<FastDFAState,I>

flipAcceptance

public void flipAcceptance()

Specified by:

flipAcceptance in interface MutableFSA<FastDFAState,I>