net.automatalib.automata.fsa.abstractimpl

Class AbstractFSA<S,I>

java.lang.Object

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

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

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

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,S>, Output<I,Boolean>, SuffixOutput<I,Boolean>, FiniteStateAcceptor<S,I>, SimpleAutomaton<S,I>, UniversalAutomaton<S,I,S,Boolean,Void>, AcceptorTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,S>, UniversalTransitionSystem<S,I,S,Boolean,Void>

Direct Known Subclasses:

AbstractBricsAutomaton, AbstractNFA

public abstract class AbstractFSA<S,I>
extends AbstractAutomaton<S,I,S>
implements FiniteStateAcceptor<S,I>

Field Summary

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
AbstractFSA()

Method Summary

Modifier and Type	Method and Description
static <S,I> Boolean	computeOutput(FiniteStateAcceptor<S,I> $this, Iterable<I> input)
Boolean	computeOutput(Iterable<I> input)
static <S,I> Boolean	computeSuffixOutput(FiniteStateAcceptor<S,I> $this, Iterable<I> prefix, Iterable<I> suffix)
Boolean	computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
static <S,I> Boolean	getStateProperty(FiniteStateAcceptor<S,I> $this, S state)
Boolean	getStateProperty(S state) Retrieves the state property for the given state.
static <S,I> S	getSuccessor(FiniteStateAcceptor<S,I> $this, S transition)
S	getSuccessor(S transition) Retrieves the successor state of a given transition.
static <S,I> Void	getTransitionProperty(FiniteStateAcceptor<S,I> $this, S transition)
Void	getTransitionProperty(S transition) Retrieves the transition property for the given state.

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

iterator, iterator, size, size, stateIDs, stateIDs

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

accepts, isAccepting

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

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

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

Constructor Detail

AbstractFSA

public AbstractFSA()

Method Detail

getStateProperty

public static <S,I> Boolean getStateProperty(FiniteStateAcceptor<S,I> $this,
                                             S state)

getTransitionProperty

public static <S,I> Void getTransitionProperty(FiniteStateAcceptor<S,I> $this,
                                               S transition)

getSuccessor

public static <S,I> S getSuccessor(FiniteStateAcceptor<S,I> $this,
                                   S transition)

computeOutput

public static <S,I> Boolean computeOutput(FiniteStateAcceptor<S,I> $this,
                                          Iterable<I> input)

computeSuffixOutput

public static <S,I> Boolean computeSuffixOutput(FiniteStateAcceptor<S,I> $this,
                                                Iterable<I> prefix,
                                                Iterable<I> suffix)

getStateProperty

public Boolean getStateProperty(S state)

Description copied from interface: UniversalTransitionSystem

Retrieves the state property for the given state.

Specified by:

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

Parameters:

state - the state.

Returns:

the corresponding property.

getTransitionProperty

public Void getTransitionProperty(S transition)

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Specified by:

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

Parameters:

transition - the transition.

Returns:

the corresponding property.

getSuccessor

public S getSuccessor(S transition)

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Specified by:

getSuccessor in interface TransitionSystem<S,I,S>

Parameters:

transition - the transition.

Returns:

the successor state.

computeOutput

public Boolean computeOutput(Iterable<I> input)

Specified by:

computeOutput in interface Output<I,Boolean>

computeSuffixOutput

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

Specified by:

computeSuffixOutput in interface SuffixOutput<I,Boolean>