Package net.automatalib.automaton.vpa
-
Class Summary Class Description AbstractDefaultSEVPA<I> Basic functionality forLocation
-based SEVPA implementations.AbstractSEVPA<L,I> Abstract class for k-SEVPAs that implements functionality shared across different subtypes.DefaultNSEVPA<I> Default implementation for n-SEVPAs.DefaultOneSEVPA<I> Default implementation for 1-SEVPAs.Location Location type used for the default 1-SEVPA.