Package net.maswag.falcaun

Class NumericMembershipOracle

java.lang.Object

net.maswag.falcaun.NumericMembershipOracle

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>>

Direct Known Subclasses:

NumericMembershipOracleCost

public class NumericMembershipOracle
extends Object
implements MembershipOracle.MealyMembershipOracle<String,String>

The membership oracle for a Simulink model

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

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
(package private) net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder<String,String>	cache
private static final org.slf4j.Logger	LOGGER
protected final SignalDiscretizer	mapper
protected final NumericSUL	sul

Constructor Summary

Constructors

Constructor	Description
NumericMembershipOracle(NumericSUL sul, SignalDiscretizer mapper)

Method Summary

Modifier and Type	Method	Description
(package private) void	cacheInsert(net.automatalib.word.Word<String> abstractInput, net.automatalib.word.Word<String> abstractOutput)
(package private) net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder<String,String>	getCache()
void	processQueries(Collection<? extends Query<String,net.automatalib.word.Word<String>>> queries)
(package private) void	setCache(net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder<String,String> cache)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQuery

Field Details

LOGGER

private static final org.slf4j.Logger LOGGER

sul

protected final NumericSUL sul

mapper

protected final SignalDiscretizer mapper

cache

net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder<String,String> cache

Constructor Details

NumericMembershipOracle

public NumericMembershipOracle(NumericSUL sul,
 SignalDiscretizer mapper)

Method Details

getCache

net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder<String,String> getCache()

setCache

void setCache(net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder<String,String> cache)

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>>

cacheInsert

void cacheInsert(net.automatalib.word.Word<String> abstractInput,
 net.automatalib.word.Word<String> abstractOutput)