 
 
 
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.
 
 
