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

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

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Method Detail

getAcceptance

@Nonnull
Acceptance getAcceptance(@Nonnull
                                  S state)