Hierarchy For Package net.maswag.falcaun

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.maswag.falcaun.AbstractAdaptiveSTLUpdater<I> (implements net.maswag.falcaun.AdaptiveSTLUpdater<I>)
    • net.maswag.falcaun.AdaptiveSTLList<I>
    • net.maswag.falcaun.StaticSTLList<I>
    • net.maswag.falcaun.StopDisprovedEQOracle.StaticLTLList<I>
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.ArrayList<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • net.maswag.falcaun.EvaluationCountable.Sum (implements net.maswag.falcaun.EvaluationCountable)
  • org.uma.jmetal.algorithm.impl.AbstractEvolutionaryAlgorithm<S,R> (implements org.uma.jmetal.algorithm.Algorithm<Result>)
    • org.uma.jmetal.algorithm.impl.AbstractGeneticAlgorithm<S,Result>
      • org.uma.jmetal.algorithm.singleobjective.geneticalgorithm.GenerationalGeneticAlgorithm<S>
        • net.maswag.falcaun.EQGenerationalGeneticAlgorithm
      • org.uma.jmetal.algorithm.singleobjective.geneticalgorithm.SteadyStateGeneticAlgorithm<S>
        • net.maswag.falcaun.EQSteadyStateGeneticAlgorithm
  • org.uma.jmetal.problem.impl.AbstractGenericProblem<S> (implements org.uma.jmetal.problem.Problem<S>)
    • org.uma.jmetal.problem.impl.AbstractIntegerProblem (implements org.uma.jmetal.problem.IntegerProblem)
      • net.maswag.falcaun.EQSearchProblem (implements net.maswag.falcaun.EvaluationCountable)
  • net.maswag.falcaun.AbstractIOSignal<I> (implements net.maswag.falcaun.IOSignal<I>)
    • net.maswag.falcaun.IOContinuousSignal<I>
    • net.maswag.falcaun.IODiscreteSignal<I>
  • net.maswag.falcaun.AbstractMapperReader
    • net.maswag.falcaun.InputMapperReader
    • net.maswag.falcaun.OutputMapperReader
  • org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> (implements org.antlr.v4.runtime.tree.ParseTreeVisitor<T>)
    • net.maswag.falcaun.ExtendedSignalMapperBaseVisitor<T> (implements net.maswag.falcaun.ExtendedSignalMapperVisitor<T>)
      • net.maswag.falcaun.ExtendedSignalMapperVisitorImpl
    • net.maswag.falcaun.LTLBaseVisitor<T> (implements net.maswag.falcaun.LTLVisitor<T>)
      • net.maswag.falcaun.LTLVisitorImpl
    • net.maswag.falcaun.SignalMapperBaseVisitor<T> (implements net.maswag.falcaun.SignalMapperVisitor<T>)
      • net.maswag.falcaun.SignalMapperVisitorImpl
    • net.maswag.falcaun.STLBaseVisitor<T> (implements net.maswag.falcaun.STLVisitor<T>)
      • net.maswag.falcaun.STLVisitorImpl
  • net.maswag.falcaun.AbstractSelectEQOracle (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, net.maswag.falcaun.EvaluationCountable.MealyEquivalenceOracle<I,O>)
    • net.maswag.falcaun.HillClimbingEQOracle
      • net.maswag.falcaun.SAEQOracle
    • net.maswag.falcaun.MutateSelectEQOracle
  • net.maswag.falcaun.AbstractTemporalLogic<I> (implements net.maswag.falcaun.TemporalLogic<I>)
    • net.maswag.falcaun.LTLAtomic (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
    • net.maswag.falcaun.STLAbstractAtomic (implements net.maswag.falcaun.TemporalLogic.STLCost)
      • net.maswag.falcaun.STLInputAtomic
      • net.maswag.falcaun.STLOutputAtomic
    • net.maswag.falcaun.TemporalAnd<I>
      • net.maswag.falcaun.TemporalAnd.LTLAnd (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalAnd.STLAnd (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalImply<I>
      • net.maswag.falcaun.TemporalImply.LTLImply (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalImply.STLImply (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalNext<I>
      • net.maswag.falcaun.TemporalNext.LTLNext (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalNext.STLNext (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalNot<I>
      • net.maswag.falcaun.TemporalNot.LTLNot (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalNot.STLNot (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalOp<I>
      • net.maswag.falcaun.TemporalEventually<I>
        • net.maswag.falcaun.TemporalEventually.LTLEventually (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
        • net.maswag.falcaun.TemporalEventually.STLEventually (implements net.maswag.falcaun.TemporalLogic.STLCost)
      • net.maswag.falcaun.TemporalGlobally<I>
        • net.maswag.falcaun.TemporalGlobally.LTLGlobally (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
        • net.maswag.falcaun.TemporalGlobally.STLGlobally (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalOr<I>
      • net.maswag.falcaun.TemporalOr.LTLOr (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalOr.STLOr (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalRelease<I>
      • net.maswag.falcaun.TemporalRelease.LTLRelease (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalRelease.STLRelease (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalSub<I>
      • net.maswag.falcaun.TemporalSub.LTLSub (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalSub.STLSub (implements net.maswag.falcaun.TemporalLogic.STLCost)
    • net.maswag.falcaun.TemporalUntil<I>
      • net.maswag.falcaun.TemporalUntil.LTLUntil (implements net.maswag.falcaun.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.TemporalUntil.STLUntil (implements net.maswag.falcaun.TemporalLogic.STLCost)
  • net.maswag.falcaun.AdaptiveSTLList.IntervalTL<I>
  • net.maswag.falcaun.ArgParser
  • net.maswag.falcaun.BlackBoxVerifier<I>
  • net.maswag.falcaun.ExtendedSignalMapper (implements net.maswag.falcaun.SignalMapper)
  • net.maswag.falcaun.ExtendedSignalMapperBaseListener (implements net.maswag.falcaun.ExtendedSignalMapperListener)
  • net.maswag.falcaun.FalCAuN
  • net.maswag.falcaun.GAEQOracle (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, net.maswag.falcaun.EvaluationCountable.MealyEquivalenceOracle<I,O>)
  • net.maswag.falcaun.IntegerRandomMutation (implements org.uma.jmetal.operator.MutationOperator<Source>)
  • net.maswag.falcaun.IntegerUniformCrossover (implements org.uma.jmetal.operator.CrossoverOperator<Source>)
  • net.maswag.falcaun.IOSignalPiece<I>
    • net.maswag.falcaun.ExtendedIOSignalPiece<I>
  • net.maswag.falcaun.LTLBaseListener (implements net.maswag.falcaun.LTLListener)
  • net.maswag.falcaun.LTLFactory
  • net.maswag.falcaun.MealyFixedSetEQOracle (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, net.maswag.falcaun.EvaluationCountable.MealyEquivalenceOracle<I,O>)
  • net.maswag.falcaun.NumericMembershipOracle (implements de.learnlib.oracle.MembershipOracle.MealyMembershipOracle<I,O>)
    • net.maswag.falcaun.NumericMembershipOracleCost (implements net.maswag.falcaun.EvaluationCountable)
  • net.maswag.falcaun.NumericSULMapper (implements de.learnlib.sul.SULMapper<AI,AO,CI,CO>)
  • net.maswag.falcaun.NumericSULVerifier
    • net.maswag.falcaun.SimulinkSULVerifier
  • org.antlr.v4.runtime.Recognizer<Symbol,ATNInterpreter>
    • org.antlr.v4.runtime.Lexer (implements org.antlr.v4.runtime.TokenSource)
      • net.maswag.falcaun.ExtendedSignalMapperLexer
      • net.maswag.falcaun.LTLLexer
      • net.maswag.falcaun.SignalMapperLexer
      • net.maswag.falcaun.STLLexer
    • org.antlr.v4.runtime.Parser
      • net.maswag.falcaun.ExtendedSignalMapperParser
      • net.maswag.falcaun.LTLParser
      • net.maswag.falcaun.SignalMapperParser
      • net.maswag.falcaun.STLParser
  • net.maswag.falcaun.RoSI
  • org.antlr.v4.runtime.RuleContext (implements org.antlr.v4.runtime.tree.RuleNode)
    • org.antlr.v4.runtime.ParserRuleContext
      • net.maswag.falcaun.ExtendedSignalMapperParser.AtomicContext
      • net.maswag.falcaun.ExtendedSignalMapperParser.ExprContext
      • net.maswag.falcaun.ExtendedSignalMapperParser.Extended_exprContext
      • net.maswag.falcaun.ExtendedSignalMapperParser.ValueContext
      • net.maswag.falcaun.LTLParser.BinaryOperatorContext
      • net.maswag.falcaun.LTLParser.BinaryTemporalOperatorContext
      • net.maswag.falcaun.LTLParser.ComparisonOperatorContext
      • net.maswag.falcaun.LTLParser.ExprContext
      • net.maswag.falcaun.LTLParser.IntervalContext
      • net.maswag.falcaun.LTLParser.UnaryOperatorContext
      • net.maswag.falcaun.LTLParser.UnaryTemporalOperatorContext
      • net.maswag.falcaun.LTLParser.ValueContext
      • net.maswag.falcaun.SignalMapperParser.AtomicContext
      • net.maswag.falcaun.SignalMapperParser.ExprContext
      • net.maswag.falcaun.SignalMapperParser.ValueContext
      • net.maswag.falcaun.STLParser.AtomicContext
      • net.maswag.falcaun.STLParser.BinaryOperatorContext
      • net.maswag.falcaun.STLParser.BinaryTemporalOperatorContext
      • net.maswag.falcaun.STLParser.ComparisonOperatorContext
      • net.maswag.falcaun.STLParser.ExprContext
      • net.maswag.falcaun.STLParser.IntervalContext
      • net.maswag.falcaun.STLParser.UnaryOperatorContext
      • net.maswag.falcaun.STLParser.UnaryTemporalOperatorContext
      • net.maswag.falcaun.STLParser.ValueContext
  • net.maswag.falcaun.Signal
  • net.maswag.falcaun.SignalMapperBaseListener (implements net.maswag.falcaun.SignalMapperListener)
  • net.maswag.falcaun.SimpleSignalMapper (implements net.maswag.falcaun.SignalMapper)
  • net.maswag.falcaun.SimulinkAbstractAlphabetDomain
  • net.maswag.falcaun.SimulinkModel
  • net.maswag.falcaun.SimulinkRandomTester
  • net.maswag.falcaun.SimulinkSUL (implements java.io.Closeable, net.maswag.falcaun.ContinuousNumericSUL)
  • net.maswag.falcaun.STLBaseListener (implements net.maswag.falcaun.STLListener)
  • net.maswag.falcaun.STLFactory
  • net.maswag.falcaun.StopDisprovedEQOracle<I,O,C> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
  • net.maswag.falcaun.TimeMeasure
  • net.maswag.falcaun.TimeoutEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
  • net.maswag.falcaun.ValueWithTime<T>

Interface Hierarchy

• java.lang.AutoCloseable
  • net.maswag.falcaun.NumericSUL (also extends de.learnlib.sul.SUL<I,O>)
    • net.maswag.falcaun.ContinuousNumericSUL
• de.learnlib.oracle.EquivalenceOracle<A,I,D>
  • de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>
    • net.maswag.falcaun.EvaluationCountable.MealyEquivalenceOracle<I,O> (also extends net.maswag.falcaun.EvaluationCountable)
    • de.learnlib.oracle.InclusionOracle.MealyInclusionOracle<I,O> (also extends de.learnlib.oracle.InclusionOracle<A,I,D>)
      • net.maswag.falcaun.AdaptiveSTLUpdater<I> (also extends de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<I,O>)
  • de.learnlib.oracle.InclusionOracle<A,I,D>
    • de.learnlib.oracle.BlackBoxOracle<A,I,D>
      • de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<I,O>
        • net.maswag.falcaun.AdaptiveSTLUpdater<I> (also extends de.learnlib.oracle.InclusionOracle.MealyInclusionOracle<I,O>)
    • de.learnlib.oracle.InclusionOracle.MealyInclusionOracle<I,O> (also extends de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • net.maswag.falcaun.AdaptiveSTLUpdater<I> (also extends de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<I,O>)
• net.maswag.falcaun.EvaluationCountable
  • net.maswag.falcaun.EvaluationCountable.MealyEquivalenceOracle<I,O> (also extends de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
• java.util.function.Function<T,R>
  • net.maswag.falcaun.TemporalLogic<I>
    • net.maswag.falcaun.TemporalLogic.LTLFormula
    • net.maswag.falcaun.TemporalLogic.STLCost
• net.maswag.falcaun.IOSignal<I>
• org.antlr.v4.runtime.tree.ParseTreeListener
  • net.maswag.falcaun.ExtendedSignalMapperListener
  • net.maswag.falcaun.LTLListener
  • net.maswag.falcaun.SignalMapperListener
  • net.maswag.falcaun.STLListener
• org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
  • net.maswag.falcaun.ExtendedSignalMapperVisitor<T>
  • net.maswag.falcaun.LTLVisitor<T>
  • net.maswag.falcaun.SignalMapperVisitor<T>
  • net.maswag.falcaun.STLVisitor<T>
• net.maswag.falcaun.SignalMapper
• de.learnlib.sul.SUL<I,O>
  • net.maswag.falcaun.NumericSUL (also extends java.lang.AutoCloseable)
    • net.maswag.falcaun.ContinuousNumericSUL

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • net.maswag.falcaun.ArgParser.EquivType
    • net.maswag.falcaun.ArgParser.GASelectionKind
    • net.maswag.falcaun.SimulinkModel.InterpolationMethod
    • net.maswag.falcaun.STLAbstractAtomic.Operation
    • net.maswag.falcaun.TemporalLogic.IOType