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.