net.automatalib.ts.acceptors.abstractimpl

Class AbstractDeterministicAcceptorTS<S,I>

java.lang.Object

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

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

net.automatalib.ts.acceptors.abstractimpl.AbstractDeterministicAcceptorTS<S,I>

All Implemented Interfaces:

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 AbstractDeterministicAcceptorTS<S,I>
extends AbstractDTS<S,I,S>
implements DeterministicAcceptorTS<S,I>

Constructor Summary

Constructors

Constructor and Description
AbstractDeterministicAcceptorTS()

Method Summary

Modifier and Type	Method and Description
static <S,I> boolean	accepts(DeterministicAcceptorTS<S,I> $this, Iterable<I> input)
boolean	accepts(Iterable<I> input) Determines whether the given input word is accepted by this acceptor.

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.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

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

AbstractDeterministicAcceptorTS

public AbstractDeterministicAcceptorTS()

Method Detail

accepts

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

accepts

public boolean accepts(Iterable<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.