Class | Description |
---|---|
OneSEVPAs |
Operations on
OneSEVPA s. |
OneSEVPAUtil |
Utility class revolving around 1-SEVPAs.
|
OneSEVPAUtil.ReachResult<L,I> | |
ProductOneSEVPA<L1,L2,I> |
Production automaton that allows to join two given 1-SEVPAs.
|
Copyright © 2019. All rights reserved.