Initialising and Shutting Down the ECLiPSe Subsystem

These are the functions needed to embed ECLiPSe into a C main program.

int ec_set_option_int(int, int)

Set the value of a numerical option (see appendix A).

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.