JaCoP.fz
Class Options

java.lang.Object
  JaCoP.fz.Options

public class Options
extends java.lang.Object

It parses the options provided to flatzinc parser/executable. It contains information about all options used for a given flatzinc file.

Author:

Krzysztof Kuchcinski

Constructor Summary

Options(java.lang.String[] args)
It constructs an Options object and parses all the parameters/options provided to flatzinc to jacop parser.

Method Summary

boolean	getAll() It returns true if the search for all solution has been requested.
java.io.FileInputStream	getFile() It returns the file input stream for the file containing flatzinc description.
int	getNumberSolutions() It returns the number of solutions the solver should search for.
boolean	getStatistics() It returns true if the search statistics are to be displayed.
int	getTimeOut() It returns time out set for the search.
boolean	getVerbose() It returns true if the verbose mode has been requested.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Options

public Options(java.lang.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 Detail

getFile

public java.io.FileInputStream getFile()

It returns the file input stream for the file containing flatzinc description.

Returns:

file 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.