See: Description
| Class | Description |
|---|---|
| KeyGraph<L> |
A key graph is a directed graph constructed from
ReachabilityRelation
for a 1-SEVPA recognizing JSON documents. |
| KeyGraphToDot |
Implements utilities to write a
KeyGraph as the contents of a DOT
file. |
| NodeInGraph<L> |
A node in a
KeyGraph. |
| OnAcceptingPathRelation<L> |
Stores the locations that are on an accepting location.
|
| ReachabilityRelation<L> |
A relation storing the fact that there is path from a location to another
location such that the stack contents is the same at the beginning and at the
end.
|
Copyright © 2022. All rights reserved.