DeterministicAcceptorTS (AutomataLib 0.11.0 API)

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 interface Output<S,I>
    
    Specified by:
    
    computeOutput in interface SuffixOutput<S,I>
  - computeSuffixOutput
```
default Boolean computeSuffixOutput(Iterable<? extends I> prefix,
                                    Iterable<? extends I> suffix)
```
    Specified by:
    
    computeSuffixOutput in interface SuffixOutput<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 interface AcceptorTS<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 interface AcceptorTS<S,I>