Package org.jacop.fz

Class Options

java.lang.Object
org.jacop.fz.Options
public class Options extends Object
It parses the options provided to flatzinc parser/executable. It contains information about all options used for a given flatzinc file.
Version:
4.10

  • Field Details

    • file

      FileInputStream file

    • fileName

      String fileName

    • all

      boolean all

    • verbose

      boolean verbose

    • statistics

      boolean statistics

    • freeSearch

      boolean freeSearch

    • time_out

      int time_out

    • number_solutions

      int number_solutions

    • interval

      boolean interval

    • precisionDefined

      boolean precisionDefined

    • precision

      double precision

    • format

      double format

    • boundConsistency

      boolean boundConsistency

    • runSearch

      boolean runSearch

    • use_sat

      boolean use_sat

    • decay

      float decay

    • step

      double step

    • debug

      boolean debug

    • outputFilename

      String outputFilename

    • restartType

      public Options.RestartType restartType

    • restartLimit

      int restartLimit

    • scale

      int scale

    • base

      double base

  • Constructor Details

    • Options

      public Options(String[] args)
      It constructs an Options object and parses all the parameters/options provided to flatzinc to jacop parser.
      Parameters:
      args - arguments to flatzinc to jacop parser.

  • Method Details

    • getFile

      public FileInputStream getFile()
      It returns the file input stream for the file containing flatzinc description.
      Returns:
      file containing flatzinc description.

    • getFileName

      public String getFileName()
      It returns the file name for the file containing flatzinc description.
      Returns:
      file name containing flatzinc description.

    • getAll

      public boolean getAll()
      It returns true if the search for all solution has been requested.
      Returns:
      true if the search for all solution should take place, false otherwise.

    • getVerbose

      public boolean getVerbose()
      It returns true if the verbose mode has been requested.
      Returns:
      true if the verbose mode is active, false otherwise.

    • getStatistics

      public boolean getStatistics()
      It returns true if the search statistics are to be displayed.
      Returns:
      true if the search statistics are to be displayed, false otherwise.

    • getTimeOut

      public int getTimeOut()
      It returns time out set for the search.
      Returns:
      the value of the timeOut (in seconds), 0 if no time-out was set.

    • getNumberSolutions

      public int getNumberSolutions()
      It returns the number of solutions the solver should search for.
      Returns:
      the number of solutions the search should search for.

    • getInterval

      public boolean getInterval()
      It returns true if the interval print mode has been requested.
      Returns:
      true if the interval print mode is active, false otherwise.

    • doNotRunSearch

      public void doNotRunSearch()
      It defines whether to run the solver.

    • runSearch

      public boolean runSearch()
      It returns true if the search must be run and false otherwise.
      Returns:
      true if run search, false otherwise.

    • getBoundConsistency

      public boolean getBoundConsistency()
      It defines whether to use bound consistency.
      Returns:
      true if bound consistency prefered, false otherwise (defult).

    • getPrecision

      public double getPrecision()
      It returns precision defined in the command line.
      Returns:
      precision.

    • precision

      public boolean precision()
      It informs whether precision is defined.
      Returns:
      true if precision for floating point solver is defined

    • useSat

      public boolean useSat()
      It defines whether sat is used.
      Returns:
      true sat is used, false otherwise

    • setSat

      public void setSat()
      sat is used.

    • debug

      public boolean debug()
      It defines whether to use debug information print-out.
      Returns:
      true if debugging information is printed, false otherwise

    • freeSearch

      public boolean freeSearch()
      It defines whether search annotation can be ignored.
      Returns:
      true if search annotation can be ignored

    • getOutputFilename

      public String getOutputFilename()

    • getDecay

      public float getDecay()

    • complementarySearch

      public boolean complementarySearch()
      It defines wheter additional search should use output variables only (false, default). or should try to collect all non introduced variables (true).
      Returns:
      additional search should use output variables only (false, default). or should try to collect all non introduced variables (true)

    • getRestartType

      public Options.RestartType getRestartType()

    • getRestartBase

      public double getRestartBase()

    • getRestartScale

      public int getRestartScale()

    • getRestartLimit

      public int getRestartLimit()