Package net.maswag.falcaun

Class TimeoutEQOracle<I,O>

java.lang.Object

net.maswag.falcaun.TimeoutEQOracle<I,O>

Type Parameters:

I - Input symbol

O - Output symbol

All Implemented Interfaces:

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

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

Am equivalence oracle to add timeout in addition to the original oracle.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

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 EquivalenceOracle.MealyEquivalenceOracle<I,O>	eqOracle
private static final org.slf4j.Logger	LOGGER
private long	startTime
private long	timeout

Constructor Summary

Constructors

Constructor	Description
TimeoutEQOracle(EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle, long timeout)

Method Summary

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,net.automatalib.word.Word<O>>	findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> objects, Collection<? extends I> collection)
(package private) void	start()	Start ticking the clock

Methods inherited from class java.lang.Object

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

Field Details

LOGGER

private static final org.slf4j.Logger LOGGER

timeout

private long timeout

startTime

private long startTime

eqOracle

private EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle

Constructor Details

TimeoutEQOracle

TimeoutEQOracle(EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle,
 long timeout)

Parameters:

eqOracle - the wrapped equivalence oracle

timeout - timeout in seconds.

Method Details

start

void start()

Start ticking the clock

findCounterExample

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

Specified by:

findCounterExample in interface EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>