Package be.ac.umons.jsonlearning.random

Equivalence oracles for JSON documents based on a random JSON documents generator.

See: Description

Class Summary

Class	Description
AbstractJSONEquivalenceOracle<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>>	Base class for (full) equivalence queries using a random JSON documents generator.
AbstractRandomJSONConformance<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>>	Base class for (partial) equivalence queries using a random generator.
JSONPartialEquivalenceOracle	Partial equivalence oracle for JSON documents.
ROCAJSONEquivalenceOracle	Specialization of AbstractJSONEquivalenceOracle for VPDAs.
VCAJSONEquivalenceOracle	Specialization of AbstractJSONEquivalenceOracle for VPDAs.
VPDAJSONEquivalenceOracle	Specialization of AbstractJSONEquivalenceOracle for VPDAs.

Package be.ac.umons.jsonlearning.random Description

Equivalence oracles for JSON documents based on a random JSON documents generator.

Author:

Gaëtan Staquet

See Also:

RandomGenerator