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

Methods

Modifier and Type	Method and Description
static <S,I> boolean	accepts(DeterministicAcceptorTS<S,I> $this, Iterable<I> input)
boolean	accepts(Iterable<I> input)

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)

Specified by:

accepts in interface AcceptorTS<S,I>