Do not test for IEEE since we cannot deal with non-IEEE, and more important since...

[simgrid.git] / include / core.h

diff --git a/include/core.h b/include/core.h
index f487dc1..1903616 100644 (file)
--- a/include/core.h
+++ b/include/core.h
@@ -42,47 +42,6 @@ BEGIN_DECL
  * **************************************************************************/
 typedef enum { free_after_use, free_never } e_gras_free_directive_t;
 
-/* **************************************************************************
- * Initializing the processes
- * **************************************************************************/
-/**
- * gras_process_init:
- * 
- * Perform the various intialisations needed by gras. Each process must run it
- */
-gras_error_t gras_process_init(void);
-
-/**
- * gras_process_finalize:
- * 
- * Perform the various intialisations needed by gras. Each process must run it
- */
-gras_error_t gras_process_finalize(void);
-
-/****************************************************************************/
-/* Manipulating User Data                                                   */
-/****************************************************************************/
-/**
- * gras_userdata_get:
- *
- * Get the data associated with the current process.
- */
-void *gras_userdata_get(void);
-
-/**
- * gras_userdata_set:
- *
- * Set the data associated with the current process.
- */
-void *gras_userdata_set(void *ud);
-
-/**
- * gras_userdata_new:
- *
- * Malloc and set the data associated with the current process.
- */
-
-#define gras_userdata_new(type) gras_userdata_set(malloc(sizeof(type)))
 
 /* **************************************************************************
  * Wrappers over OS functions
@@ -98,22 +57,6 @@ void *gras_userdata_set(void *ud);
 const char *
 gras_get_my_fqdn(void);
 
-/**
- * gras_time:
- * 
- * Get the time in number of second since the Epoch.
- * (00:00:00 UTC, January 1, 1970 in Real Life, and begining of simulation in SG)
- */
-double gras_time(void);
-
-/**
- * gras_sleep:
- * @sec: number of seconds to sleep
- * @usec: number of microseconds to sleep
- * 
- * sleeps for the given amount of seconds plus the given amount of microseconds.
- */
-void gras_sleep(unsigned long sec, unsigned long usec);
 
 END_DECL