Package net.maswag.falcaun

Interface AdaptiveSTLUpdater<I>

Type Parameters:
I - Type of the input at each step.
All Superinterfaces:
de.learnlib.oracle.BlackBoxOracle<net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>,String,net.automatalib.word.Word<String>>, de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<String,String>, de.learnlib.oracle.EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>,String,net.automatalib.word.Word<String>>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<String,String>, de.learnlib.oracle.InclusionOracle<net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>,String,net.automatalib.word.Word<String>>, de.learnlib.oracle.InclusionOracle.MealyInclusionOracle<String,String>
All Known Implementing Classes:
AbstractAdaptiveSTLUpdater, AdaptiveSTLList, StaticSTLList, StopDisprovedEQOracle.StaticLTLList
public interface AdaptiveSTLUpdater<I> extends de.learnlib.oracle.InclusionOracle.MealyInclusionOracle<String,String>, de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<String,String>
Interface for potentially adaptive set of STL formulas
Author:
Masaki Waga
See Also:

  • Nested Class Summary

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

    de.learnlib.oracle.BlackBoxOracle.DFABlackBoxOracle<I>, de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<I,O>

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

    de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>

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

    de.learnlib.oracle.InclusionOracle.DFAInclusionOracle<I>, de.learnlib.oracle.InclusionOracle.MealyInclusionOracle<I,O>

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    allDisproved()
    Returns if all the properties are disproved
    default List<String>
    getLTLProperties()
    Returns the current list of LTL formulas in the string representation
    List<TemporalLogic<I>>
    getSTLProperties()
    Returns the current list of STL formulas The result may change only after the call of findCounterExample
    default List<de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String>>
    list()
    Returns the current list of LTL formulas in MealyPropertyOracle
    boolean
    newlyFalsifiedFormula(TemporalLogic<I> stlFormula)
    Returns if the formula is not yet falsified
    void
    reset()
    Reset the list of the STL formulas to the initial one.
    void
    setInputAlphabet(net.automatalib.alphabet.Alphabet<String> inputAlphabet)
    Set the input alphabet we are using.
    void
    setMemOracle(de.learnlib.oracle.MembershipOracle.MealyMembershipOracle<String,String> memOracle)
    Set new membership oracle.
    default int
    size()
    Returns the number of the current list of STL formulas
    Stream<de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String>>
    stream()
    Returns the current list of LTL formulas in MealyPropertyOracle in stream

    Methods inherited from interface de.learnlib.oracle.BlackBoxOracle

    getPropertyOracles

    Methods inherited from interface de.learnlib.oracle.EquivalenceOracle

    findCounterExample

    Methods inherited from interface de.learnlib.oracle.InclusionOracle

    isCounterExample

  • Method Details

    • getSTLProperties

      List<TemporalLogic<I>> getSTLProperties()
      Returns the current list of STL formulas The result may change only after the call of findCounterExample

    • getLTLProperties

      default List<String> getLTLProperties()
      Returns the current list of LTL formulas in the string representation

    • list

      default List<de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String>> list()
      Returns the current list of LTL formulas in MealyPropertyOracle

    • stream

      Stream<de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String>> stream()
      Returns the current list of LTL formulas in MealyPropertyOracle in stream

    • allDisproved

      boolean allDisproved()
      Returns if all the properties are disproved

    • size

      default int size()
      Returns the number of the current list of STL formulas

    • reset

      void reset()
      Reset the list of the STL formulas to the initial one.

    • setMemOracle

      void setMemOracle(@NotNull de.learnlib.oracle.MembershipOracle.MealyMembershipOracle<String,String> memOracle)
      Set new membership oracle. This is necessary to call list() and stream()

    • setInputAlphabet

      void setInputAlphabet(net.automatalib.alphabet.Alphabet<String> inputAlphabet)
      Set the input alphabet we are using.

    • newlyFalsifiedFormula

      boolean newlyFalsifiedFormula(TemporalLogic<I> stlFormula)
      Returns if the formula is not yet falsified