Uses of Package
be.ac.umons.jsonlearning

Packages that use be.ac.umons.jsonlearning

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.

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

Class and Description
IVPDAJSONEquivalenceOracle.CounterexampleWithRelations The ReachabilityRelation and OnAcceptingPathRelation computed to construct a key graph, and a counterexample.

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

Class and Description
AbstractJSONConformance Base class for equivalence checks based on conformance testing of JSON documents.
IVPDAJSONEquivalenceOracle The common interface for equivalence oracles for VPDAs.

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

Class and Description
AbstractJSONConformance Base class for equivalence checks based on conformance testing of JSON documents.