fuzzydl
Class ConfigReader

java.lang.Object
  fuzzydl.ConfigReader

public class ConfigReader
extends java.lang.Object

Reads some configuration arguments for the reasoner.

Field Summary

static int	cbc CBC solver.
static boolean	debugPrint Debugging mode
static double	EPSILON Precision of the reasoner
static int	MAX_INDIVIDUALS Maximum number of new individuals that will be created
static java.lang.String	milpSolver Path of the external MILP solver

Constructor Summary

ConfigReader()

Method Summary

static void

loadParameters(java.lang.String configFile, java.lang.String[] args) Load parameters for the reasoner.

Methods inherited from class java.lang.Object

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

Field Detail

EPSILON

public static double EPSILON

Precision of the reasoner

MAX_INDIVIDUALS

public static int MAX_INDIVIDUALS

Maximum number of new individuals that will be created

debugPrint

public static boolean debugPrint

Debugging mode

cbc

public static int cbc

CBC solver.

• 0: MPS input, Console output.
• 1: MPS input, JNI output.

milpSolver

public static java.lang.String milpSolver

Path of the external MILP solver

Constructor Detail

ConfigReader

public ConfigReader()

Method Detail

loadParameters

public static void loadParameters(java.lang.String configFile,
                                  java.lang.String[] args)

Load parameters for the reasoner. The input is a configuration file or an array of Strings.

Parameters:

configFile - Configuration file.

args - Array or parameters.

Throws:

java.io.IOException