Interface | Description |
---|---|
OneSEVPA<L,I> |
Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific
structure and semantics.
|
Class | Description |
---|---|
AbstractOneSEVPA<L,I> |
Abstract class for 1-SEVPAs that implements functionality shared across different subtypes.
|
DefaultOneSEVPA<I> |
Default implementation for 1-SEVPA.
|
Location |
Location type used for the default 1-SEVPA.
|
StackContents |
A simplified stack implementation that allows to store integer values.
|
State<L> |
Utility class to combine an entity (e.g. a location) with stack information.
|
Copyright © 2020. All rights reserved.