 
 
 
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.
 
 
