Uses of Interface
net.automatalib.automaton.vpa.SEVPA
-
Packages that use SEVPA Package Description net.automatalib.automaton.vpa net.automatalib.util.automaton.procedural net.automatalib.util.automaton.vpa -
-
Uses of SEVPA in net.automatalib.automaton.vpa
Subinterfaces of SEVPA in net.automatalib.automaton.vpa Modifier and Type Interface Description interface
OneSEVPA<L,I>
A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).Classes in net.automatalib.automaton.vpa that implement SEVPA Modifier and Type Class Description class
AbstractDefaultSEVPA<I>
Basic functionality forLocation
-based SEVPA implementations.class
AbstractSEVPA<L,I>
Abstract class for k-SEVPAs that implements functionality shared across different subtypes.class
DefaultNSEVPA<I>
Default implementation for n-SEVPAs.class
DefaultOneSEVPA<I>
Default implementation for 1-SEVPAs.Constructors in net.automatalib.automaton.vpa with parameters of type SEVPA Constructor Description SEVPAGraphView(SEVPA<L,I> sevpa)
-
Uses of SEVPA in net.automatalib.util.automaton.procedural
Methods in net.automatalib.util.automaton.procedural that return SEVPA Modifier and Type Method Description static <I> SEVPA<?,I>
SPAs. toNSEVPA(SPA<?,I> spa)
-
Uses of SEVPA in net.automatalib.util.automaton.vpa
Classes in net.automatalib.util.automaton.vpa that implement SEVPA Modifier and Type Class Description class
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two givenOneSEVPA
s.
-