net.automatalib.ts.acceptors

Interface DeterministicAcceptorTS<S,I>

All Superinterfaces:

AcceptorTS<S,I>, DeterministicTransitionSystem<S,I,S>, Output<I,Boolean>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,S>, UniversalDTS<S,I,S,Boolean,Void>, UniversalTransitionSystem<S,I,S,Boolean,Void>

All Known Subinterfaces:

DFA<S,I>, MutableDFA<S,I>, OneSEVPA<L,I>

All Known Implementing Classes:

AbstractOneSEVPA, BricsDFA, CompactDFA, DefaultOneSEVPA, DetAcceptorComposition, FastDFA, ProductOneSEVPA

public interface DeterministicAcceptorTS<S,I>
extends AcceptorTS<S,I>, UniversalDTS<S,I,S,Boolean,Void>, Output<I,Boolean>

A deterministic acceptor transition system.

Author:

Malte Isberner

See Also:

AcceptorTS, DeterministicTransitionSystem

Method Summary

Modifier and Type	Method and Description
default boolean	accepts(Iterable<? extends I> input) Determines whether the given input word is accepted by this acceptor.
default Boolean	computeOutput(Iterable<? extends I> input)
default boolean	isAccepting(Collection<? extends S> states)

Methods inherited from interface net.automatalib.ts.acceptors.AcceptorTS

getStateProperty, getSuccessor, getTransitionProperty, isAccepting

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Method Detail

computeOutput

default Boolean computeOutput(Iterable<? extends I> input)

Specified by:

computeOutput in interface Output<I,Boolean>

accepts

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

Description copied from interface: AcceptorTS

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

Specified by:

accepts in interface AcceptorTS<S,I>

Parameters:

input - the input word.

Returns:

true if the input word is accepted, false otherwise.

isAccepting

default boolean isAccepting(Collection<? extends S> states)

Specified by:

isAccepting in interface AcceptorTS<S,I>