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

Packages that use ReachabilityRelation

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 ReachabilityRelation in be.ac.umons.jsonlearning

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

Modifier and Type	Field and Description
ReachabilityRelation<L>	IVPDAJSONEquivalenceOracle.CounterexampleWithRelations.reachabilityRelation

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

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 ReachabilityRelation

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

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

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

Modifier and Type	Method and Description
ReachabilityRelation<L>	ReachabilityRelation.computePotentialValueReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, boolean computeWitnesses) Computes a subset of this reachability relation such that the witnesses that go from one location to the other by reading a potential value in a JSON document, i.e., what follows a key symbol.
static <L1,L2> ReachabilityRelation<L2>	ReachabilityRelation.computeReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis, ReachabilityRelation<L1> previousReachabilityRelation, net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis, boolean computeWitnesses) Computes the relation for the automaton, using information computed in a previous relation.
static <L> ReachabilityRelation<L>	ReachabilityRelation.computeReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, boolean computeWitnesses) Computes the relation for the automaton

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

Modifier and Type	Method and Description
static <L1,L2> ReachabilityRelation<L2>	ReachabilityRelation.computeReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis, ReachabilityRelation<L1> previousReachabilityRelation, net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis, boolean computeWitnesses) Computes the relation for the automaton, using information computed in a previous relation.
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.

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

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.