I
- the input typepublic static interface Lasso.DFALasso<I> extends Lasso<I,Boolean>, DFA<Integer,I>
DFA
s.Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
STATE_PROPERTIES, TRANSITION_PROPERTIES
getAutomaton, getLoop, getLoopBeginIndices, getOutput, getPrefix, getUnfolds, getWord
getInputAlphabet
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty, isAccepting
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
Copyright © 2019. All rights reserved.