net.automatalib.automata.fsa.abstractimpl

Class AbstractDFA<S,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,S>

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

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,S>, DetOutputAutomaton<S,I,S,Boolean>, Output<I,Boolean>, OutputAutomaton<S,I,S,Boolean>, SODetOutputAutomaton<S,I,S,Boolean>, SuffixOutput<I,Boolean>, DeterministicAutomaton<S,I,S>, DFA<S,I>, FiniteStateAcceptor<S,I>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, UniversalAutomaton<S,I,S,Boolean,Void>, UniversalDeterministicAutomaton<S,I,S,Boolean,Void>, AcceptorTS<S,I>, DeterministicAcceptorTS<S,I>, DeterministicTransitionSystem<S,I,S>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,S>, UniversalDTS<S,I,S,Boolean,Void>, UniversalTransitionSystem<S,I,S,Boolean,Void>

public abstract class AbstractDFA<S,I>
extends AbstractDeterministicAutomaton<S,I,S>
implements DFA<S,I>

Field Summary

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
AbstractDFA()

Method Summary

Methods

Modifier and Type	Method and Description
static <S,I> boolean	accepts(DFA<S,I> $this, Iterable<I> input)
boolean	accepts(Iterable<I> input)
Boolean	computeOutput(Iterable<I> input)
Boolean	computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
Boolean	getStateProperty(S state)
S	getSuccessor(S transition)
Void	getTransitionProperty(S transition)

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

iterator, size, stateIDs

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

Constructor Detail

AbstractDFA

public AbstractDFA()

Method Detail

accepts

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

accepts

public boolean accepts(Iterable<I> input)

Specified by:

accepts in interface AcceptorTS<S,I>

getStateProperty

public Boolean getStateProperty(S state)

Specified by:

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

getTransitionProperty

public Void getTransitionProperty(S transition)

Specified by:

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

getSuccessor

public S getSuccessor(S transition)

Specified by:

getSuccessor in interface TransitionSystem<S,I,S>

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>