Package net.automatalib.ts.acceptor

Interface AcceptorTS<S,I>

Type Parameters:

S - state class

I - input symbol class

All Superinterfaces:

SimpleTS<S,I>, TransitionSystem<S,I,S>, UniversalTransitionSystem<S,I,S,Boolean,Void>

All Known Subinterfaces:

DeterministicAcceptorTS<S,I>, DFA<S,I>, FiniteStateAcceptor<S,I>, Lasso.DFALasso<I>, MutableDFA<S,I>, MutableFSA<S,I>, MutableNFA<S,I>, NFA<S,I>, OneSEVPA<L,I>, SBA<S,I>, SEVPA<L,I>, SPA<S,I>

All Known Implementing Classes:

AbstractBricsAutomaton, AbstractDefaultSEVPA, AbstractSEVPA, BricsDFA, BricsNFA, CompactDFA, CompactNFA, DefaultNSEVPA, DefaultOneSEVPA, DFALassoImpl, EmptySBA, EmptySPA, FastDFA, FastNFA, ProductOneSEVPA, StackSBA, StackSPA

public interface AcceptorTS<S,I>
extends UniversalTransitionSystem<S,I,S,Boolean,Void>

A transition system whose semantics are defined by whether a state is "accepting" or not.

Method Summary

Modifier and Type	Method	Description
default boolean	accepts(Iterable<? extends I> input)	Determines whether the given input word is accepted by this acceptor.
default Boolean	getStateProperty(S state)	Retrieves the state property for the given state.
default S	getSuccessor(S transition)	Retrieves the successor state of a given transition.
default Void	getTransitionProperty(S transition)	Retrieves the transition property for the given state.
boolean	isAccepting(Collection<? extends S> states)
boolean	isAccepting(S state)	Checks whether the given state is accepting.

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, getTransitions, powersetView

Method Detail

accepts

default boolean accepts(Iterable<? extends I> input)

Determines whether the given input word is accepted by this acceptor.

Parameters:

input - the input word.

Returns:

true if the input word is accepted, false otherwise.

isAccepting

boolean isAccepting(S state)

Checks whether the given state is accepting.

Parameters:

state - the state

Returns:

true if the state is accepting, false otherwise.

isAccepting

boolean isAccepting(Collection<? extends S> states)

getStateProperty

default 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

default 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

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