Module net.automatalib.api
Package net.automatalib.automaton.vpa

Interface OneSEVPA<L,I>

Type Parameters:
L - location type
I - input symbol type
All Superinterfaces:
Automaton<L,I,L>, DeterministicSemantics, FiniteRepresentation, GraphViewable, InitialState<L>, InitialStates<L>, InputAlphabetHolder<I>, Iterable<L>, Output<I,Boolean>, Semantics, SEVPA<L,I>, SimpleAutomaton<L,I>, SimpleTS<L,I>, SuffixOutput<I,Boolean>, TransitionSystem<L,I,L>, UniversalAutomaton<L,I,L,Boolean,Void>, UniversalTransitionSystem<L,I,L,Boolean,Void>
All Known Implementing Classes:
DefaultOneSEVPA, ProductOneSEVPA
public interface OneSEVPA<L,I> extends SEVPA<L,I>
A specialized interface for 1-SEVPAs. Contrary to the original definition of Alur et al. where 1-SEVPAs consist of one (separate) "main" module and one module for all call symbols, this implementation assumes a single module for both the "main" procedure and all call symbols, i.e., the initial location and all module entries coincide.

  • Method Details