Package net.maswag.falcaun

Class MealyFixedSetEQOracle

java.lang.Object

net.maswag.falcaun.MealyFixedSetEQOracle

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>,String,net.automatalib.word.Word<String>>, EquivalenceOracle.MealyEquivalenceOracle<String,String>, EvaluationCountable, EvaluationCountable.MealyEquivalenceOracle<String,String>

public class MealyFixedSetEQOracle
extends Object
implements EquivalenceOracle.MealyEquivalenceOracle<String,String>, EvaluationCountable.MealyEquivalenceOracle<String,String>

Equivalence oracle that uses a fixed set of samples.

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>

Nested classes/interfaces inherited from interface net.maswag.falcaun.EvaluationCountable

EvaluationCountable.MealyEquivalenceOracle<I,O>, EvaluationCountable.Sum

Field Summary

Fields

Modifier and Type	Field	Description
protected int	evaluateCount
(package private) List<net.automatalib.word.Word<String>>	fixedSamples
private final List<PropertyOracle.MealyPropertyOracle<String,String,String>>	ltlOracles
protected final MembershipOracle.MealyMembershipOracle<String,String>	memOracle

Constructor Summary

Constructors

Constructor	Description
MealyFixedSetEQOracle(List<PropertyOracle.MealyPropertyOracle<String,String,String>> ltlOracles, MembershipOracle.MealyMembershipOracle<String,String> memOracle)	Constructor for MealyFixedSetEQOracle.

Method Summary

Modifier and Type	Method	Description
void	add(net.automatalib.word.Word<String> sample)
void	addAll(Collection<net.automatalib.word.Word<String>> samples)
@Nullable DefaultQuery<String,net.automatalib.word.Word<String>>	findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,String,?,String> hypothesis, Collection<? extends String> inputs)
private boolean	isDisproved()	Returns whether the property is disproved i.e., whether it observed such an input that the cost function < 0.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.maswag.falcaun.EvaluationCountable

getEvaluateCount

Field Details

fixedSamples

List<net.automatalib.word.Word<String>> fixedSamples

ltlOracles

private final List<PropertyOracle.MealyPropertyOracle<String,String,String>> ltlOracles

memOracle

protected final MembershipOracle.MealyMembershipOracle<String,String> memOracle

evaluateCount

protected int evaluateCount

Constructor Details

MealyFixedSetEQOracle

public MealyFixedSetEQOracle(List<PropertyOracle.MealyPropertyOracle<String,String,String>> ltlOracles,
 MembershipOracle.MealyMembershipOracle<String,String> memOracle)

Constructor for MealyFixedSetEQOracle.

Parameters:

ltlOracles - the list of LTL oracles so that we stop if all of them are disproved.

memOracle - the membership oracle used to test the equivalence.

Method Details

add

public void add(net.automatalib.word.Word<String> sample)

addAll

public void addAll(Collection<net.automatalib.word.Word<String>> samples)

isDisproved

private boolean isDisproved()

Returns whether the property is disproved i.e., whether it observed such an input that the cost function < 0.

Returns:

whether the property is disproved.

findCounterExample

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

Specified by:

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