Uses of Class
be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle.CounterexampleWithRelations

Packages that use IVPDAJSONEquivalenceOracle.CounterexampleWithRelations

Package	Description
be.ac.umons.jsonlearning	Oracles for learning an automaton from a JSON document.

Uses of IVPDAJSONEquivalenceOracle.CounterexampleWithRelations in be.ac.umons.jsonlearning

Methods in be.ac.umons.jsonlearning that return IVPDAJSONEquivalenceOracle.CounterexampleWithRelations

Modifier and Type	Method and Description
default <L1,L2> IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L2>	IVPDAJSONEquivalenceOracle.counterexampleAndRelationFromKeyGraph(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis, ReachabilityRelation<L1> previousReachabilityRelation, OnAcceptingPathRelation<L1> previousOnAcceptingPathRelation, net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis) Constructs the key graph for the hypothesis by reusing information computed at the previous equivalence query and, if it is invalid, provides a counterexample.
default <L> IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L>	IVPDAJSONEquivalenceOracle.counterexampleAndRelationFromKeyGraph(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> hypo) Constructs the key graph for the hypothesis and, if it is invalid, provides a counterexample.