/* A splay tree of builtin parameters */
splaytree_t * builtin_param_tree = NULL;
-int insert_param_alt_name(param_t * param, char * alt_name);
+int insert_param_alt_name(param_t * param, const char * alt_name);
int insert_builtin_param(param_t * param);
/* Private function prototypes */
int compare_param(char * name, char * name2);
-int load_builtin_param_double(char * name, void * engine_val, void * matrix, short int flags,
- double init_val, double upper_bound, double lower_bound, char * alt_name);
+int load_builtin_param_double(const char * name, void * engine_val, void * matrix, short int flags,
+ double init_val, double upper_bound, double lower_bound, const char * alt_name);
-int load_builtin_param_int(char * name, void * engine_val, short int flags,
- int init_val, int upper_bound, int lower_bound, char * alt_name);
+int load_builtin_param_int(const char * name, void * engine_val, short int flags,
+ int init_val, int upper_bound, int lower_bound, const char * alt_name);
-int load_builtin_param_bool(char * name, void * engine_val, short int flags,
- int init_val, char * alt_name);
+int load_builtin_param_bool(const char * name, void * engine_val, short int flags,
+ int init_val, const char * alt_name);
-param_t * create_param (char * name, short int type, short int flags, void * engine_val, void * matrix,
+param_t * create_param (const char * name, short int type, short int flags, void * engine_val, void * matrix,
value_t default_init_val, value_t upper_bound, value_t lower_bound) {
param_t * param = NULL;
/* Insert a parameter into the database with an alternate name */
-int insert_param_alt_name(param_t * param, char * alt_name) {
+int insert_param_alt_name(param_t * param, const char * alt_name) {
if (param == NULL)
return ERROR;
}
/* Loads a double parameter into the builtin database */
-int load_builtin_param_double(char * name, void * engine_val, void * matrix, short int flags,
- double init_val, double upper_bound, double lower_bound, char * alt_name) {
+int load_builtin_param_double(const char * name, void * engine_val, void * matrix, short int flags,
+ double init_val, double upper_bound, double lower_bound, const char * alt_name) {
param_t * param = NULL;
value_t iv, ub, lb;
/* Loads a double parameter into the builtin database */
-param_t * new_param_double(char * name, short int flags, void * engine_val, void * matrix,
+param_t * new_param_double(const char * name, short int flags, void * engine_val, void * matrix,
double upper_bound, double lower_bound, double init_val) {
param_t * param;
/* Creates a new parameter of type int */
-param_t * new_param_int(char * name, short int flags, void * engine_val,
+param_t * new_param_int(const char * name, short int flags, void * engine_val,
int upper_bound, int lower_bound, int init_val) {
param_t * param;
}
/* Creates a new parameter of type bool */
-param_t * new_param_bool(char * name, short int flags, void * engine_val,
+param_t * new_param_bool(const char * name, short int flags, void * engine_val,
int upper_bound, int lower_bound, int init_val) {
param_t * param;
/* Loads a integer parameter into the builtin database */
-int load_builtin_param_int(char * name, void * engine_val, short int flags,
- int init_val, int upper_bound, int lower_bound, char * alt_name) {
+int load_builtin_param_int(const char * name, void * engine_val, short int flags,
+ int init_val, int upper_bound, int lower_bound, const char * alt_name) {
param_t * param;
value_t iv, ub, lb;
}
/* Loads a boolean parameter */
-int load_builtin_param_bool(char * name, void * engine_val, short int flags,
- int init_val, char * alt_name) {
+int load_builtin_param_bool(const char * name, void * engine_val, short int flags,
+ int init_val, const char * alt_name) {
param_t * param;
value_t iv, ub, lb;
/* Used to store a number of decidable type */
/* Function prototypes */
-param_t * create_param (char * name, short int type, short int flags, void * eqn_val, void * matrix,
+param_t * create_param (const char * name, short int type, short int flags, void * eqn_val, void * matrix,
value_t default_init_val, value_t upper_bound, value_t lower_bound);
param_t * create_user_param(char * name);
int init_builtin_param_db();
int load_all_builtin_param();
int insert_param(param_t * param, splaytree_t * database);
param_t * find_builtin_param(char * name);
-param_t * new_param_double(char * name, short int flags, void * engine_val, void * matrix,
+param_t * new_param_double(const char * name, short int flags, void * engine_val, void * matrix,
double upper_bound, double lower_bound, double init_val);
-param_t * new_param_int(char * name, short int flags, void * engine_val,
+param_t * new_param_int(const char * name, short int flags, void * engine_val,
int upper_bound, int lower_bound, int init_val);
-param_t * new_param_bool(char * name, short int flags, void * engine_val,
+param_t * new_param_bool(const char * name, short int flags, void * engine_val,
int upper_bound, int lower_bound, int init_val);
param_t * find_param_db(char * name, splaytree_t * database, int create_flag);