Package | Description |
---|---|
net.automatalib.automata.vpda | |
net.automatalib.util.automata.vpda |
Modifier and Type | Class and Description |
---|---|
class |
DefaultOneSEVPA<I>
Default implementation for 1-SEVPA.
|
Modifier and Type | Class and Description |
---|---|
class |
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two given 1-SEVPAs.
|
Copyright © 2020. All rights reserved.