be.ac.umons.jsonlearning

Class IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L>

java.lang.Object

be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L>

Enclosing interface:

IVPDAJSONEquivalenceOracle

public static class IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L>
extends Object

The ReachabilityRelation and OnAcceptingPathRelation computed to construct a key graph, and a counterexample. If the key graph is valid, the counterexample is null.

Author:

Gaëtan Staquet

Field Summary

Fields

Modifier and Type	Field and Description
de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	counterexample
OnAcceptingPathRelation<L>	onAcceptingPathRelation
ReachabilityRelation<L>	reachabilityRelation

Constructor Summary

Constructors

Constructor and Description
CounterexampleWithRelations(de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> counterexample, ReachabilityRelation<L> reachabilityRelation, OnAcceptingPathRelation<L> onAcceptingPathRelation)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

counterexample

public final de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> counterexample

reachabilityRelation

public final ReachabilityRelation<L> reachabilityRelation

onAcceptingPathRelation

public final OnAcceptingPathRelation<L> onAcceptingPathRelation

Constructor Detail

CounterexampleWithRelations

public CounterexampleWithRelations(de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> counterexample,
                                   ReachabilityRelation<L> reachabilityRelation,
                                   OnAcceptingPathRelation<L> onAcceptingPathRelation)