Uses of Package
be.ac.umons.jsonvalidation.graph

Packages that use be.ac.umons.jsonvalidation.graph

Package	Description
be.ac.umons.jsonlearning	Oracles for learning an automaton from a JSON document.
be.ac.umons.jsonvalidation	Implementation of a validation algorithm for JSON documents relying on a learned 1-SEVPA.
be.ac.umons.jsonvalidation.graph	Implementations of reachability relation and key graph for a VPA accepting JSON documents.

Classes in be.ac.umons.jsonvalidation.graph used by be.ac.umons.jsonlearning

Class and Description
OnAcceptingPathRelation Stores the locations that are on an accepting location.
ReachabilityRelation 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.

Classes in be.ac.umons.jsonvalidation.graph used by be.ac.umons.jsonvalidation

Class and Description
KeyGraph A key graph is a directed graph constructed from ReachabilityRelation for a 1-SEVPA recognizing JSON documents.

Classes in be.ac.umons.jsonvalidation.graph used by be.ac.umons.jsonvalidation.graph

Class and Description
KeyGraph A key graph is a directed graph constructed from ReachabilityRelation for a 1-SEVPA recognizing JSON documents.
NodeInGraph A node in a KeyGraph.
OnAcceptingPathRelation Stores the locations that are on an accepting location.
ReachabilityRelation 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.