Package net.maswag.falcaun

Class NumericMembershipOracle

java.lang.Object
net.maswag.falcaun.NumericMembershipOracle
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>>
Direct Known Subclasses:
NumericMembershipOracleCost
public class NumericMembershipOracle extends Object implements de.learnlib.oracle.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

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

  • Constructor Summary

    Constructors
    Constructor
    Description
    NumericMembershipOracle(NumericSUL sul, NumericSULMapper 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 de.learnlib.query.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 NumericSULMapper mapper

    • cache

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

  • Constructor Details

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

    • cacheInsert

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