Hierarchy For All Packages

Package Hierarchies:

• net.maswag.falcaun,
• net.maswag.falcaun.annotation,
• net.maswag.falcaun.parser

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>)
    • AbstractTemporalLogicBaseVisitor<T> (implements AbstractTemporalLogicVisitor<T>)
    • net.maswag.falcaun.parser.ExtendedSignalMapperBaseVisitor<T> (implements net.maswag.falcaun.parser.ExtendedSignalMapperVisitor<T>)
      • net.maswag.falcaun.parser.ExtendedSignalMapperVisitorImpl
    • net.maswag.falcaun.parser.LTLBaseVisitor<T> (implements net.maswag.falcaun.parser.LTLVisitor<T>)
      • net.maswag.falcaun.parser.LTLVisitorImpl
    • net.maswag.falcaun.parser.SignalMapperBaseVisitor<T> (implements net.maswag.falcaun.parser.SignalMapperVisitor<T>)
      • net.maswag.falcaun.parser.SignalMapperVisitorImpl
    • net.maswag.falcaun.parser.STLBaseVisitor<T> (implements net.maswag.falcaun.parser.STLVisitor<T>)
      • net.maswag.falcaun.parser.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.parser.AbstractTemporalLogic<I> (implements net.maswag.falcaun.parser.TemporalLogic<I>)
    • net.maswag.falcaun.parser.LTLAtomic (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
    • net.maswag.falcaun.parser.STLAbstractAtomic (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
      • net.maswag.falcaun.parser.STLInputAtomic
      • net.maswag.falcaun.parser.STLOutputAtomic
    • net.maswag.falcaun.parser.TemporalAnd<I>
      • net.maswag.falcaun.parser.TemporalAnd.LTLAnd (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalAnd.STLAnd (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalConst<I>
      • net.maswag.falcaun.parser.TemporalConst.LTLConst (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalConst.STLConst (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalImply<I>
      • net.maswag.falcaun.parser.TemporalImply.LTLImply (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalImply.STLImply (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalNext<I>
      • net.maswag.falcaun.parser.TemporalNext.LTLNext (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalNext.STLNext (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalNot<I>
      • net.maswag.falcaun.parser.TemporalNot.LTLNot (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalNot.STLNot (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalOp<I>
      • net.maswag.falcaun.parser.TemporalEventually<I>
        • net.maswag.falcaun.parser.TemporalEventually.LTLEventually (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
        • net.maswag.falcaun.parser.TemporalEventually.STLEventually (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
      • net.maswag.falcaun.parser.TemporalGlobally<I>
        • net.maswag.falcaun.parser.TemporalGlobally.LTLGlobally (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
        • net.maswag.falcaun.parser.TemporalGlobally.STLGlobally (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalOr<I>
      • net.maswag.falcaun.parser.TemporalOr.LTLOr (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalOr.STLOr (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalRelease<I>
      • net.maswag.falcaun.parser.TemporalRelease.LTLRelease (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalRelease.STLRelease (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalSub<I>
      • net.maswag.falcaun.parser.TemporalSub.LTLSub (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalSub.STLSub (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
    • net.maswag.falcaun.parser.TemporalUntil<I>
      • net.maswag.falcaun.parser.TemporalUntil.LTLUntil (implements net.maswag.falcaun.parser.TemporalLogic.LTLFormula)
      • net.maswag.falcaun.parser.TemporalUntil.STLUntil (implements net.maswag.falcaun.parser.TemporalLogic.STLCost)
  • AbstractTemporalLogicBaseListener (implements AbstractTemporalLogicListener)
  • net.maswag.falcaun.AdaptiveSTLList.IntervalTL<I>
  • net.maswag.falcaun.ArgParser
  • net.maswag.falcaun.AtomicPropositionUtil
  • net.maswag.falcaun.BlackBoxVerifier<I>
  • net.maswag.falcaun.DotMealyWrapper
  • net.maswag.falcaun.ExtendedSignalMapper (implements net.maswag.falcaun.SignalMapper)
  • net.maswag.falcaun.parser.ExtendedSignalMapperBaseListener (implements net.maswag.falcaun.parser.ExtendedSignalMapperListener)
  • net.maswag.falcaun.GAEQOracle (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, net.maswag.falcaun.EvaluationCountable.MealyEquivalenceOracle<I,O>)
  • net.maswag.falcaun.InputMapper (implements java.util.List<E>)
  • 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.LabeledEdge
  • net.maswag.falcaun.LTLAPs
  • net.maswag.falcaun.parser.LTLBaseListener (implements net.maswag.falcaun.parser.LTLListener)
  • net.maswag.falcaun.parser.LTLFactory
  • net.maswag.falcaun.LTLFormulaBase
  • net.maswag.falcaun.parser.LTLFormulaHelper
  • 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.NumericSULVerifier
  • net.maswag.falcaun.OutputMapper
  • net.maswag.falcaun.PostComposedSignalDiscretizer (implements net.maswag.falcaun.SignalDiscretizer)
    • net.maswag.falcaun.NumericSULMapperWithSGA
  • net.maswag.falcaun.PreComposedSignalDiscretizer (implements net.maswag.falcaun.ComponentWiseSignalDiscretizer)
    • net.maswag.falcaun.NumericSULMapper
  • org.antlr.v4.runtime.Recognizer<Symbol,ATNInterpreter>
    • org.antlr.v4.runtime.Lexer (implements org.antlr.v4.runtime.TokenSource)
      • AbstractTemporalLogicLexer
      • net.maswag.falcaun.parser.ExtendedSignalMapperLexer
      • net.maswag.falcaun.parser.LTLLexer
      • net.maswag.falcaun.parser.SignalMapperLexer
      • net.maswag.falcaun.parser.STLLexer
    • org.antlr.v4.runtime.Parser
      • AbstractTemporalLogicParser
      • net.maswag.falcaun.parser.ExtendedSignalMapperParser
      • net.maswag.falcaun.parser.LTLParser
      • net.maswag.falcaun.parser.SignalMapperParser
      • net.maswag.falcaun.parser.STLParser
  • net.maswag.falcaun.parser.RoSI
  • org.antlr.v4.runtime.RuleContext (implements org.antlr.v4.runtime.tree.RuleNode)
    • org.antlr.v4.runtime.ParserRuleContext
      • AbstractTemporalLogicParser.BinaryOperatorContext
      • AbstractTemporalLogicParser.BinaryTemporalOperatorContext
      • AbstractTemporalLogicParser.ComparisonOperatorContext
      • AbstractTemporalLogicParser.IntervalContext
      • AbstractTemporalLogicParser.UnaryOperatorContext
      • AbstractTemporalLogicParser.UnaryTemporalOperatorContext
      • AbstractTemporalLogicParser.ValueContext
      • net.maswag.falcaun.parser.ExtendedSignalMapperParser.AtomicContext
      • net.maswag.falcaun.parser.ExtendedSignalMapperParser.ExprContext
      • net.maswag.falcaun.parser.ExtendedSignalMapperParser.Extended_exprContext
      • net.maswag.falcaun.parser.ExtendedSignalMapperParser.ValueContext
      • net.maswag.falcaun.parser.LTLParser.BinaryOperatorContext
      • net.maswag.falcaun.parser.LTLParser.BinaryTemporalOperatorContext
      • net.maswag.falcaun.parser.LTLParser.ComparisonOperatorContext
      • net.maswag.falcaun.parser.LTLParser.ExprContext
      • net.maswag.falcaun.parser.LTLParser.IntervalContext
      • net.maswag.falcaun.parser.LTLParser.UnaryOperatorContext
      • net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext
      • net.maswag.falcaun.parser.LTLParser.ValueContext
      • net.maswag.falcaun.parser.SignalMapperParser.AtomicContext
      • net.maswag.falcaun.parser.SignalMapperParser.ExprContext
      • net.maswag.falcaun.parser.SignalMapperParser.ValueContext
      • net.maswag.falcaun.parser.STLParser.AtomicContext
      • net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
      • net.maswag.falcaun.parser.STLParser.BinaryTemporalOperatorContext
      • net.maswag.falcaun.parser.STLParser.ComparisonOperatorContext
      • net.maswag.falcaun.parser.STLParser.ExprContext
      • net.maswag.falcaun.parser.STLParser.IntervalContext
      • net.maswag.falcaun.parser.STLParser.UnaryOperatorContext
      • net.maswag.falcaun.parser.STLParser.UnaryTemporalOperatorContext
      • net.maswag.falcaun.parser.STLParser.ValueContext
  • net.maswag.falcaun.SGAMapper (implements de.learnlib.sul.SULMapper<AI,AO,CI,CO>)
  • net.maswag.falcaun.Signal
  • net.maswag.falcaun.SignalAdapter (implements net.maswag.falcaun.ComponentWiseSignalDiscretizer)
  • net.maswag.falcaun.SignalDeriver (implements de.learnlib.sul.SULMapper<AI,AO,CI,CO>)
  • net.maswag.falcaun.parser.SignalMapperBaseListener (implements net.maswag.falcaun.parser.SignalMapperListener)
  • net.maswag.falcaun.SimpleSignalMapper (implements net.maswag.falcaun.SignalMapper)
  • net.maswag.falcaun.annotation.SortedValidator (implements jakarta.validation.ConstraintValidator<A,T>)
  • net.maswag.falcaun.parser.STLBaseListener (implements net.maswag.falcaun.parser.STLListener)
  • net.maswag.falcaun.parser.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>
  • net.maswag.falcaun.WhiteBoxEqOracle (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)

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.parser.TemporalLogic<I>
    • net.maswag.falcaun.parser.TemporalLogic.LTLFormula
    • net.maswag.falcaun.parser.TemporalLogic.STLCost
• net.maswag.falcaun.IOSignal<I>
• de.learnlib.Mapper<AI,AO,CI,CO>
  • de.learnlib.Mapper.SynchronousMapper<AI,AO,CI,CO>
    • de.learnlib.sul.SULMapper<AI,AO,CI,CO>
      • net.maswag.falcaun.SignalDiscretizer
        • net.maswag.falcaun.ComponentWiseSignalDiscretizer
• org.antlr.v4.runtime.tree.ParseTreeListener
  • AbstractTemporalLogicListener
  • net.maswag.falcaun.parser.ExtendedSignalMapperListener
  • net.maswag.falcaun.parser.LTLListener
  • net.maswag.falcaun.parser.SignalMapperListener
  • net.maswag.falcaun.parser.STLListener
• org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
  • AbstractTemporalLogicVisitor<T>
  • net.maswag.falcaun.parser.ExtendedSignalMapperVisitor<T>
  • net.maswag.falcaun.parser.LTLVisitor<T>
  • net.maswag.falcaun.parser.SignalMapperVisitor<T>
  • net.maswag.falcaun.parser.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

Annotation Interface Hierarchy

• net.maswag.falcaun.annotation.Sorted (implements java.lang.annotation.Annotation)

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.GASelectionKind
    • net.maswag.falcaun.parser.STLAbstractAtomic.Operation
    • net.maswag.falcaun.parser.TemporalLogic.IOType