C.6 Initialising and Shutting Down the ECLiPSe Subsystem
These are the functions needed to embed ECLiPSe into a C main program.
-
int ec_set_option_long(int, long)
-
Set the value of a numerical option (see appendix A).
The numerical value can be of type long. - int ec_set_option_ptr(int, char *)
-
Set the value of a string-valued option (see appendix A). - int ec_init()
-
Initialise the ECLiPSe engine. This is required before any other
functions of this interface (except option setting) can be used. - int ec_cleanup()
-
Shutdown the ECLiPSe engine.