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