Package net.automatalib.ts.acceptor
Interface DeterministicAcceptorTS<S,I>
-
- All Superinterfaces:
AcceptorTS<S,I>
,DeterministicTransitionSystem<S,I,S>
,Output<I,Boolean>
,SimpleDTS<S,I>
,SimpleTS<S,I>
,SuffixOutput<I,Boolean>
,TransitionSystem<S,I,S>
,UniversalDTS<S,I,S,Boolean,Void>
,UniversalTransitionSystem<S,I,S,Boolean,Void>
- All Known Subinterfaces:
DFA<S,I>
,Lasso.DFALasso<I>
,MutableDFA<S,I>
,OneSEVPA<L,I>
,SBA<S,I>
,SEVPA<L,I>
,SPA<S,I>
- All Known Implementing Classes:
AbstractDefaultSEVPA
,AbstractSEVPA
,BricsDFA
,CompactDFA
,DefaultNSEVPA
,DefaultOneSEVPA
,DFALassoImpl
,EmptySBA
,EmptySPA
,FastDFA
,ProductOneSEVPA
,StackSBA
,StackSPA
public interface DeterministicAcceptorTS<S,I> extends AcceptorTS<S,I>, UniversalDTS<S,I,S,Boolean,Void>, SuffixOutput<I,Boolean>
A deterministic acceptor transition system.- See Also:
AcceptorTS
,DeterministicTransitionSystem
-
-
Method Summary
All Methods Instance 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
computeOutput(Iterable<? extends I> input)
default Boolean
computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
default boolean
isAccepting(Collection<? extends S> states)
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty, getSuccessor, getTransitionProperty, isAccepting
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-
-
-
Method Detail
-
computeOutput
default Boolean computeOutput(Iterable<? extends I> input)
- Specified by:
computeOutput
in interfaceOutput<S,I>
- Specified by:
computeOutput
in interfaceSuffixOutput<S,I>
-
computeSuffixOutput
default Boolean computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
- Specified by:
computeSuffixOutput
in interfaceSuffixOutput<S,I>
-
accepts
default boolean accepts(Iterable<? extends I> input)
Description copied from interface:AcceptorTS
Determines whether the given input word is accepted by this acceptor.- Specified by:
accepts
in interfaceAcceptorTS<S,I>
- Parameters:
input
- the input word.- Returns:
true
if the input word is accepted,false
otherwise.
-
isAccepting
default boolean isAccepting(Collection<? extends S> states)
- Specified by:
isAccepting
in interfaceAcceptorTS<S,I>
-
-