net.automatalib.incremental.dfa

Interface IncrementalDFABuilder.TransitionSystemView<S,I,T>

All Superinterfaces:

DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalDTS<S,I,T,Acceptance,Void>, UniversalTransitionSystem<S,I,T,Acceptance,Void>

All Known Implementing Classes:

AbstractIncrementalDFABuilder.AbstractTransitionSystemView, AbstractIncrementalDFADAGBuilder.TransitionSystemView, IncrementalDFATreeBuilder.TransitionSystemView, IncrementalPCDFATreeBuilder.TransitionSystemView

Enclosing interface:

IncrementalDFABuilder<I>

public static interface IncrementalDFABuilder.TransitionSystemView<S,I,T>
extends UniversalDTS<S,I,T,Acceptance,Void>

Method Summary

Methods

Modifier and Type	Method and Description
Acceptance	getAcceptance(S state)

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialState, getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Method Detail

getAcceptance

@Nonnull
Acceptance getAcceptance(@Nonnull
                               S state)