Uses of Package
be.ac.umons.jsonvalidation

Packages that use be.ac.umons.jsonvalidation

Package	Description
be.ac.umons.jsonlearning	Oracles for learning an automaton from a JSON document.
be.ac.umons.jsonlearning.exploration	Equivalence oracles for JSON documents based on an exhaustive JSON documents generator.
be.ac.umons.jsonlearning.random	Equivalence oracles for JSON documents based on a random JSON documents generator.
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 used by be.ac.umons.jsonlearning

Class and Description
JSONSymbol An abstracted symbol used in JSON documents learning and validation.

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

Class and Description
JSONSymbol An abstracted symbol used in JSON documents learning and validation.

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

Class and Description
JSONSymbol An abstracted symbol used in JSON documents learning and validation.

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

Class and Description
JSONSymbol An abstracted symbol used in JSON documents learning and validation.
PairSourceToReached A pair of two locations such that it is possible to go from the first to the second.
ValidationState The current state in an execution of ValidationByAutomaton.

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

Class and Description
JSONSymbol An abstracted symbol used in JSON documents learning and validation.
PairSourceToReached A pair of two locations such that it is possible to go from the first to the second.