net.automatalib.ts.acceptors.abstractimpl

Class AbstractAcceptorTS<S,I>

java.lang.Object

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

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

All Implemented Interfaces:

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

public abstract class AbstractAcceptorTS<S,I>
extends AbstractTS<S,I,S>
implements AcceptorTS<S,I>

Constructor Summary

Constructors

Constructor and Description
AbstractAcceptorTS()

Method Summary

Methods

Modifier and Type	Method and Description
static <S,I> boolean	accepts(AcceptorTS<S,I> $this, Iterable<I> input)
boolean	accepts(Iterable<I> input)
static <S,I> Boolean	getStateProperty(AcceptorTS<S,I> $this, S state)
Boolean	getStateProperty(S state)
static <S,I> Void	getTransitionProperty(AcceptorTS<S,I> $this, S transition)
Void	getTransitionProperty(S transition)

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

getSuccessor, getTransitions, powersetView

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

AbstractAcceptorTS

public AbstractAcceptorTS()

Method Detail

accepts

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

getStateProperty

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

getTransitionProperty

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

accepts

public boolean accepts(Iterable<I> input)

Specified by:

accepts in interface AcceptorTS<S,I>

getStateProperty

public Boolean getStateProperty(S state)

Specified by:

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

getTransitionProperty

public Void getTransitionProperty(S transition)

Specified by:

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