Package net.automatalib.ts.acceptor
Interface AcceptorTS<S,I>
-
- Type Parameters:
S
- state classI
- input symbol class
- All Superinterfaces:
SimpleTS<S,I>
,TransitionSystem<S,I,S>
,UniversalTransitionSystem<S,I,S,Boolean,Void>
- All Known Subinterfaces:
DeterministicAcceptorTS<S,I>
,DFA<S,I>
,FiniteStateAcceptor<S,I>
,Lasso.DFALasso<I>
,MutableDFA<S,I>
,MutableFSA<S,I>
,MutableNFA<S,I>
,NFA<S,I>
,OneSEVPA<L,I>
,SBA<S,I>
,SEVPA<L,I>
,SPA<S,I>
- All Known Implementing Classes:
AbstractBricsAutomaton
,AbstractDefaultSEVPA
,AbstractSEVPA
,BricsDFA
,BricsNFA
,CompactDFA
,CompactNFA
,DefaultNSEVPA
,DefaultOneSEVPA
,DFALassoImpl
,EmptySBA
,EmptySPA
,FastDFA
,FastNFA
,ProductOneSEVPA
,StackSBA
,StackSPA
public interface AcceptorTS<S,I> extends UniversalTransitionSystem<S,I,S,Boolean,Void>
A transition system whose semantics are defined by whether a state is "accepting" or not.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method 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.-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessors, getTransitions, powersetView
-
-
-
-
Method Detail
-
accepts
default boolean accepts(Iterable<? extends I> input)
Determines whether the given input word is accepted by this acceptor.- Parameters:
input
- the input word.- Returns:
true
if the input word is accepted,false
otherwise.
-
isAccepting
boolean isAccepting(S state)
Checks whether the given state is accepting.- Parameters:
state
- the state- Returns:
true
if the state is accepting,false
otherwise.
-
isAccepting
boolean isAccepting(Collection<? extends S> states)
-
getStateProperty
default Boolean getStateProperty(S state)
Description copied from interface:UniversalTransitionSystem
Retrieves the state property for the given state.- Specified by:
getStateProperty
in interfaceUniversalTransitionSystem<S,I,S,Boolean,Void>
- Parameters:
state
- the state.- Returns:
- the corresponding property.
-
getTransitionProperty
default Void getTransitionProperty(S transition)
Description copied from interface:UniversalTransitionSystem
Retrieves the transition property for the given state.- Specified by:
getTransitionProperty
in interfaceUniversalTransitionSystem<S,I,S,Boolean,Void>
- Parameters:
transition
- the transition.- Returns:
- the corresponding property.
-
getSuccessor
default S getSuccessor(S transition)
Description copied from interface:TransitionSystem
Retrieves the successor state of a given transition.- Specified by:
getSuccessor
in interfaceTransitionSystem<S,I,S>
- Parameters:
transition
- the transition.- Returns:
- the successor state.
-
-