Example #1
0
void FileReader__386_167__work__0(int ____n) {

    int __index;
    for (__index=0; __index < ____n; __index++) {
        __push__0(FileReader_read<float>(__file_descr__0));
    }


}
Example #2
0
void work_FloatSource__243_81__0(int ____n){
  for (
  ; (0 < ____n); (____n--)) {{
      // mark begin: SIRFilter FloatSource

      __push__0(rand_r(&seed));
      // mark end: SIRFilter FloatSource

    }
  }
}
Example #3
0
void work_FloatSource__243_81__0(int ____n){
  for (
  ; (0 < ____n); (____n--)) {{
      // mark begin: SIRFilter FloatSource

      __push__0((num__240__0));
      ((num__240__0)++);

      if (((num__240__0) == ((float)10.0))) {((num__240__0) = ((float)0.0))/*float*/;}
      // mark end: SIRFilter FloatSource

    }
  }
}