Package net.maswag.falcaun

Class NumericMembershipOracleCost

java.lang.Object

net.maswag.falcaun.NumericMembershipOracle

net.maswag.falcaun.NumericMembershipOracleCost

All Implemented Interfaces:

de.learnlib.oracle.MembershipOracle<String,net.automatalib.word.Word<String>>, de.learnlib.oracle.MembershipOracle.MealyMembershipOracle<String,String>, de.learnlib.oracle.parallelism.BatchProcessor<de.learnlib.query.Query<String,net.automatalib.word.Word<String>>>, de.learnlib.oracle.QueryAnswerer<String,net.automatalib.word.Word<String>>, EvaluationCountable

class NumericMembershipOracleCost
extends NumericMembershipOracle
implements EvaluationCountable

Nested Class Summary

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

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

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

de.learnlib.oracle.MembershipOracle.DFAMembershipOracle<I>, de.learnlib.oracle.MembershipOracle.MealyMembershipOracle<I,O>, de.learnlib.oracle.MembershipOracle.MooreMembershipOracle<I,O>

Field Summary

Fields

Modifier and Type	Field	Description
private net.automatalib.incremental.mealy.IncrementalMealyBuilder<String,Double>	costCache
private Function<IOSignal<List<Double>>,Double>	costFunc
private int	evaluateCount
private static final org.slf4j.Logger	LOGGER
private Set<NumericMembershipOracleCost>	notifiedSet

Fields inherited from class net.maswag.falcaun.NumericMembershipOracle

cache, mapper, sul

Constructor Summary

Constructors

Constructor	Description
NumericMembershipOracleCost(NumericSUL sul, NumericSULMapper mapper, Function<IOSignal<List<Double>>,Double> costFunc)

Method Summary

Modifier and Type	Method	Description
(package private) boolean	addNotified(NumericMembershipOracleCost notified)
(package private) boolean	addNotifiedAll(Collection<NumericMembershipOracleCost> notified)
private void	cacheInsert(net.automatalib.word.Word<String> abstractInput, IOSignal<List<Double>> concreteSignal, net.automatalib.word.Word<String> abstractOutput)
void	processQueries(Collection<? extends de.learnlib.query.Query<String,net.automatalib.word.Word<String>>> queries)
(package private) Double	processQueryWithCost(de.learnlib.query.Query<String,net.automatalib.word.Word<String>> q)

Methods inherited from class net.maswag.falcaun.NumericMembershipOracle

cacheInsert, getCache, setCache

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

Methods inherited from interface de.learnlib.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQuery

Field Details

LOGGER

private static final org.slf4j.Logger LOGGER

costCache

private net.automatalib.incremental.mealy.IncrementalMealyBuilder<String,Double> costCache

costFunc

private Function<IOSignal<List<Double>>,Double> costFunc

notifiedSet

private Set<NumericMembershipOracleCost> notifiedSet

evaluateCount

private int evaluateCount

Constructor Details

NumericMembershipOracleCost

NumericMembershipOracleCost(NumericSUL sul,
 NumericSULMapper mapper,
 Function<IOSignal<List<Double>>,Double> costFunc)

Method Details

processQueries

public void processQueries(Collection<? extends de.learnlib.query.Query<String,net.automatalib.word.Word<String>>> queries)

Specified by:

processQueries in interface de.learnlib.oracle.MembershipOracle<String,net.automatalib.word.Word<String>>

Overrides:

processQueries in class NumericMembershipOracle

processQueryWithCost

Double processQueryWithCost(de.learnlib.query.Query<String,net.automatalib.word.Word<String>> q)

cacheInsert

private void cacheInsert(net.automatalib.word.Word<String> abstractInput,
 IOSignal<List<Double>> concreteSignal,
 net.automatalib.word.Word<String> abstractOutput)

addNotified

boolean addNotified(NumericMembershipOracleCost notified)

addNotifiedAll

boolean addNotifiedAll(Collection<NumericMembershipOracleCost> notified)