rts/parallel/ParInit.h

   1 /* -----------------------------------------------------------------------------
   2  * ParInit.h,1
   3  *
   4  * Phil Trinder
   5  * July 1998
   6  *
   7  * External Parallel Initialisation Interface
   8  *
   9  * ---------------------------------------------------------------------------*/
  10
  11 #ifndef PARINIT_H
  12 #define PARINIT_H
  13
  14 extern void RunParallelSystem (P_);
  15 extern void initParallelSystem(void);
  16 extern void SynchroniseSystem(void);
  17 extern void par_exit(I_);
  18
  19 #endif /* PARINIT_H */