Uses of Class
be.ac.umons.jsonvalidation.graph.OnAcceptingPathRelation

Packages that use OnAcceptingPathRelation

Package	Description
be.ac.umons.jsonlearning	Oracles for learning an automaton from a JSON document.
be.ac.umons.jsonvalidation.graph	Implementations of reachability relation and key graph for a VPA accepting JSON documents.

Uses of OnAcceptingPathRelation in be.ac.umons.jsonlearning

Fields in be.ac.umons.jsonlearning declared as OnAcceptingPathRelation

Modifier and Type	Field and Description
OnAcceptingPathRelation<L>	IVPDAJSONEquivalenceOracle.CounterexampleWithRelations.onAcceptingPathRelation

Methods in be.ac.umons.jsonlearning with parameters of type OnAcceptingPathRelation

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.

Constructors in be.ac.umons.jsonlearning with parameters of type OnAcceptingPathRelation

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

Uses of OnAcceptingPathRelation in be.ac.umons.jsonvalidation.graph

Methods in be.ac.umons.jsonvalidation.graph that return OnAcceptingPathRelation

Modifier and Type	Method and Description
static <L1,L2> OnAcceptingPathRelation<L2>	OnAcceptingPathRelation.computeRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis, OnAcceptingPathRelation<L1> previousRelation, net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis, ReachabilityRelation<L2> reachabilityRelation, boolean computeWitnesses) Computes the relation, using the previously computed relation.
static <L> OnAcceptingPathRelation<L>	OnAcceptingPathRelation.computeRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, ReachabilityRelation<L> reachabilityRelation, boolean computeWitnesses) Computes the relation from the provided automaton, and its reachability relation.

Methods in be.ac.umons.jsonvalidation.graph with parameters of type OnAcceptingPathRelation

Modifier and Type	Method and Description
static <L1,L2> OnAcceptingPathRelation<L2>	OnAcceptingPathRelation.computeRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis, OnAcceptingPathRelation<L1> previousRelation, net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis, ReachabilityRelation<L2> reachabilityRelation, boolean computeWitnesses) Computes the relation, using the previously computed relation.

Constructors in be.ac.umons.jsonvalidation.graph with parameters of type OnAcceptingPathRelation

Constructor and Description
KeyGraph(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, ReachabilityRelation<L> reachabilityRelation, OnAcceptingPathRelation<L> onAcceptingPathRelation, boolean checkGraph) Constructs the key graph using the VPA, its ReachabilityRelation, and its OnAcceptingPathRelation.