public abstract class AbstractAcceptorTS<S,I> extends AbstractTS<S,I,S> implements AcceptorTS<S,I>
Constructor and Description |
---|
AbstractAcceptorTS() |
Modifier and Type | Method and Description |
---|---|
static <S,I> boolean |
accepts(AcceptorTS<S,I> $this,
Iterable<I> input) |
boolean |
accepts(Iterable<I> input)
Determines whether the given input word is accepted by this acceptor.
|
static <S,I> Boolean |
getStateProperty(AcceptorTS<S,I> $this,
S state) |
Boolean |
getStateProperty(S state)
Retrieves the state property for the given state.
|
static <S,I> Void |
getTransitionProperty(AcceptorTS<S,I> $this,
S transition) |
Void |
getTransitionProperty(S transition)
Retrieves the transition property for the given state.
|
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAccepting
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public AbstractAcceptorTS()
public static <S,I> boolean accepts(AcceptorTS<S,I> $this, Iterable<I> input)
public static <S,I> Boolean getStateProperty(AcceptorTS<S,I> $this, S state)
public static <S,I> Void getTransitionProperty(AcceptorTS<S,I> $this, S transition)
public boolean accepts(Iterable<I> input)
AcceptorTS
accepts
in interface AcceptorTS<S,I>
input
- the input word.true
if the input word is accepted,
false
otherwise.public Boolean getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
state
- the state.public Void getTransitionProperty(S transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
transition
- the transition.Copyright © 2015. All Rights Reserved.