public class ConfigReader
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
DEBUG_PRINT
Debugging mode.
|
static double |
EPSILON
Precision of the reasoner.
|
static int |
MAX_INDIVIDUALS
Maximum number of new individuals that will be created.
|
static int |
NUMBER_DIGITS
Number of digits of precision.
|
static int |
OPTIMIZATIONS
Level of the optimizations applied.
0 disables optimizations; a positive value enables optimizations.
|
static boolean |
SHOW_VERSION
Show the version of the reasoner.
|
Constructor and Description |
---|
ConfigReader() |
Modifier and Type | Method and Description |
---|---|
static void |
loadParameters(java.lang.String configFile,
java.lang.String[] args)
Load parameters for the reasoner.
|
public static boolean DEBUG_PRINT
public static double EPSILON
public static int MAX_INDIVIDUALS
public static int NUMBER_DIGITS
public static int OPTIMIZATIONS
public static boolean SHOW_VERSION
public static void loadParameters(java.lang.String configFile, java.lang.String[] args)
configFile
- Configuration file.args
- Array or parameters.java.io.IOException