Package net.automatalib.util.automaton.vpa
-
Interface Summary Interface Description SymbolMapper<AI,CI> -
Class Summary Class Description OneSEVPAs Operations onOneSEVPA
s.ProductOneSEVPA<L1,L2,I> Production automaton that allows to join two givenOneSEVPA
s.StringSymbolMapper<AI> A default implementation that maps abstract input symbol to theirString
representations while adding an incrementing number to mappedcall symbols
.