Package net.maswag.falcaun

Class NumericMembershipOracleCost

java.lang.Object

net.maswag.falcaun.NumericMembershipOracle

net.maswag.falcaun.NumericMembershipOracleCost

All Implemented Interfaces:

BatchProcessor<Query<String,net.automatalib.word.Word<String>>>, MembershipOracle<String,net.automatalib.word.Word<String>>, MembershipOracle.MealyMembershipOracle<String,String>, QueryAnswerer<String,net.automatalib.word.Word<String>>, EvaluationCountable

class NumericMembershipOracleCost
extends NumericMembershipOracle
implements EvaluationCountable

A membership oracle that computes the cost of input-output signals using a specified cost function. This class extends NumericMembershipOracle and implements EvaluationCountable. It processes queries to determine the output signals for given inputs and calculates the associated costs using a provided cost function. The results are cached to improve efficiency.

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

MembershipOracle.DFAMembershipOracle<I extends Object>, MembershipOracle.MealyMembershipOracle<I extends Object,O extends Object>, MembershipOracle.MooreMembershipOracle<I extends Object,O extends Object>

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, SignalDiscretizer 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 Query<String,net.automatalib.word.Word<String>>> queries)
(package private) Double	processQueryWithCost(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,
 SignalDiscretizer mapper,
 Function<IOSignal<List<Double>>,Double> costFunc)

Method Details

processQueries

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

Specified by:

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

Overrides:

processQueries in class NumericMembershipOracle

processQueryWithCost

Double processQueryWithCost(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)