be.ac.umons.jsonlearning.exploration

Class ROCAJSONEquivalenceOracle

java.lang.Object

be.ac.umons.jsonlearning.AbstractJSONConformance<A>

be.ac.umons.jsonlearning.exploration.ROCAJSONEquivalenceOracle

All Implemented Interfaces:

de.learnlib.api.oracle.EquivalenceOracle<net.automatalib.automata.oca.automatoncountervalues.ROCAFromDescription<?,JSONSymbol>,JSONSymbol,Boolean>, de.learnlib.api.oracle.EquivalenceOracle.ROCAEquivalenceOracle<JSONSymbol>

public class ROCAJSONEquivalenceOracle
extends AbstractJSONConformance<A>
implements de.learnlib.api.oracle.EquivalenceOracle.ROCAEquivalenceOracle<JSONSymbol>

Specialization of AbstractExplorationJSONConformance for ROCAs.

See AbstractExplorationJSONConformance for the tests performed during an equivalence query.

Author:

Gaëtan Staquet

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.EquivalenceOracle

de.learnlib.api.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, de.learnlib.api.oracle.EquivalenceOracle.RestrictedAutomatonEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.ROCAEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.VCAEquivalenceOracle<I>

Field Summary

Fields inherited from class be.ac.umons.jsonlearning.AbstractJSONConformance

MAX_NUMBER_SYMBOLS_GIBBERISH

Constructor Summary

Constructors

Constructor and Description
ROCAJSONEquivalenceOracle(int numberTests, boolean canGenerateInvalid, int maxDocumentDepth, int maxProperties, int maxItems, be.ac.umons.jsonschematools.JSONSchema schema, Random random, boolean shuffleKeys, net.automatalib.words.Alphabet<JSONSymbol> alphabet)

Method Summary

Modifier and Type	Method and Description
protected @Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	findCounterExample(A hypothesis)
@Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	findCounterExample(A hypo, Collection<? extends JSONSymbol> inputs)
protected int	numberGibberish()
protected void	setMaximalDocumentDepth(int maxDocumentDepth)

Methods inherited from class be.ac.umons.jsonlearning.AbstractJSONConformance

canGenerateInvalid, checkDocument, checkWord, generateGibberish, getAlphabet, getMaxItems, getMaxProperties, getRandom, getSchema, numberTests, shouldShuffleKeys

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.api.oracle.EquivalenceOracle

findCounterExample

Constructor Detail

ROCAJSONEquivalenceOracle

public ROCAJSONEquivalenceOracle(int numberTests,
                                 boolean canGenerateInvalid,
                                 int maxDocumentDepth,
                                 int maxProperties,
                                 int maxItems,
                                 be.ac.umons.jsonschematools.JSONSchema schema,
                                 Random random,
                                 boolean shuffleKeys,
                                 net.automatalib.words.Alphabet<JSONSymbol> alphabet)

Method Detail

findCounterExample

public @Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> findCounterExample(A hypo,
                                                                                           Collection<? extends JSONSymbol> inputs)

Specified by:

findCounterExample in interface de.learnlib.api.oracle.EquivalenceOracle<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>,JSONSymbol,Boolean>

numberGibberish

protected int numberGibberish()

findCounterExample

protected @Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> findCounterExample(A hypothesis)

setMaximalDocumentDepth

protected void setMaximalDocumentDepth(int maxDocumentDepth)