Package net.maswag.falcaun

Class ArgParser

java.lang.Object
net.maswag.falcaun.ArgParser
public class ArgParser extends Object

  • Field Details

    • options

      private final org.apache.commons.cli.Options options

    • help

      private final org.apache.commons.cli.HelpFormatter help

    • sigMap

      SignalMapper sigMap

    • selectionKind

      private ArgParser.GASelectionKind selectionKind

    • quit

      private boolean quit

    • verbose

      private boolean verbose

    • stlFile

      private String stlFile

    • stlFormula

      private String stlFormula

    • inputMapperFile

      private String inputMapperFile

    • outputMapperFile

      private String outputMapperFile

    • equiv

      private ArgParser.EquivType equiv

    • etfFile

      private String etfFile

    • dotFile

      private String dotFile

    • stepTime

      private double stepTime

    • length

      private int length

    • initScript

      private String initScript

    • paramNames

      private List<String> paramNames

    • maxTest

      private int maxTest

    • populationSize

      private Integer populationSize

    • alpha

      private Double alpha

    • timeout

      private Long timeout

    • mutationProb

      private Double mutationProb

    • crossoverProb

      private Double crossoverProb

    • maxDepth

      private int maxDepth

    • adaptiveSTL

      private boolean adaptiveSTL

    • simulinkSimulationStep

      Double simulinkSimulationStep

  • Constructor Details

    • ArgParser

      ArgParser(String[] args) throws org.apache.commons.cli.MissingOptionException, IOException
      Throws:
      org.apache.commons.cli.MissingOptionException
      IOException

  • Method Details

    • showHelp

      private void showHelp()

    • showVersion

      private void showVersion()