diff include/TaskManager/TaskManager.h @ 229:e6eb4f8d6b0e draft

add Random class
author gongo@gendarme.cr.ie.u-ryukyu.ac.jp
date Thu, 12 Feb 2009 19:05:02 +0900
parents 305ac1897c50
children 54725883131b cfd20d609ace
line wrap: on
line diff
--- a/include/TaskManager/TaskManager.h	Thu Feb 12 16:31:38 2009 +0900
+++ b/include/TaskManager/TaskManager.h	Thu Feb 12 19:05:02 2009 +0900
@@ -5,6 +5,10 @@
 #  include "TaskManagerImpl.h"
 #endif
 
+#ifndef INCLUDED_RANDOM
+#  include "Random.h"
+#endif
+
 class TaskManager {
 public:
     /* constructor */
@@ -14,6 +18,7 @@
     /* variables */
     TaskManagerImpl *m_impl;    
     void (*tm_end)(void);
+    RandomPtr gen_random;
 
     /* user function */
     HTaskPtr create_task(int cmd);
@@ -21,6 +26,7 @@
     void *allocate(int size);
     void set_TMend(void (*endf)(void));
     int get_cpuNum(void);
+    int get_random(void);
 
     /* functions */
     void init(void);