Package net.maswag.falcaun

Class StopDisprovedEQOracle<I,O,C>

java.lang.Object

net.maswag.falcaun.StopDisprovedEQOracle<I,O,C>

Type Parameters:

I - Input symbol

O - Output symbol

C - Type parameter for the AdaptiveSTLUpdater

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

public class StopDisprovedEQOracle<I,O,C>
extends Object
implements EquivalenceOracle.MealyEquivalenceOracle<I,O>

Wraps an equivalence oracle so that the equivalence oracle is skipped if all the LTL oracles are disproved.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	StopDisprovedEQOracle.StaticLTLList<I>

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

EquivalenceOracle.DFAEquivalenceOracle<I extends Object>, EquivalenceOracle.MealyEquivalenceOracle<I extends Object,O extends Object>, EquivalenceOracle.MooreEquivalenceOracle<I extends Object,O extends Object>

Field Summary

Fields

Modifier and Type	Field	Description
private final EquivalenceOracle.MealyEquivalenceOracle<I,O>	eqOracle
private final AdaptiveSTLUpdater<C>	ltlOracles

Constructor Summary

Constructors

Constructor	Description
StopDisprovedEQOracle(EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle, AdaptiveSTLUpdater<C> ltlOracles)

Method Summary

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,net.automatalib.word.Word<O>>	findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)

Methods inherited from class java.lang.Object

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

Field Details

ltlOracles

private final AdaptiveSTLUpdater<C> ltlOracles

eqOracle

private final EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle

Constructor Details

StopDisprovedEQOracle

StopDisprovedEQOracle(EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle,
 AdaptiveSTLUpdater<C> ltlOracles)

Parameters:

eqOracle - the wrapped equivalence oracle

ltlOracles - ltlOracles

Method Details

findCounterExample

@Nullable
public @Nullable DefaultQuery<I,net.automatalib.word.Word<O>> findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> hypothesis,
 Collection<? extends I> inputs)

This function skip running an equivalence query if all the LTL oracles are disproved.

Specified by:

findCounterExample in interface EquivalenceOracle<I,O,C>