S
- state classI
- input symbol class@ParametersAreNonnullByDefault public interface AcceptorTS<S,I> extends UniversalTransitionSystem<S,I,S,Boolean,Void>
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 |
getStateProperty(S state)
Retrieves the state property for the given state.
|
default S |
getSuccessor(S transition)
Retrieves the successor state of a given transition.
|
default Void |
getTransitionProperty(S transition)
Retrieves the transition property for the given state.
|
boolean |
isAccepting(Collection<? extends S> states) |
boolean |
isAccepting(S state)
Checks whether the given state is accepting.
|
getSuccessors, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
boolean isAccepting(S state)
state
- the statetrue
if the state is accepting, false
otherwise.boolean isAccepting(Collection<? extends S> states)
default boolean accepts(Iterable<? extends I> input)
input
- the input word.true
if the input word is accepted,
false
otherwise.default Boolean getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
state
- the state.default Void getTransitionProperty(S transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
transition
- the transition.default S getSuccessor(S transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<S,I,S>
transition
- the transition.Copyright © 2015. All rights reserved.