added common random-number generation and timer utilities

[nlopt.git] / api / nlopt.h

diff --git a/api/nlopt.h b/api/nlopt.h
index 5676706acb839739e7737fd91f4e710f155fb770..c480951e8ebd7c666916303536bd43d58c75da44 100644 (file)
--- a/api/nlopt.h
+++ b/api/nlopt.h
@@ -48,6 +48,9 @@ extern nlopt_result nlopt_minimize(
      double xtol_rel, const double *xtol_abs,
      int maxeval, double maxtime);
 
+extern void nlopt_srand(unsigned long seed);
+extern void nlopt_srand_time(void);
+
 #ifdef __cplusplus
 }  /* extern "C" */
 #endif /* __cplusplus */