From 0d49fb74eadcf933f696420cd182077927680d26 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 18 Jan 2017 19:09:16 +0100
Subject: Done with 'core', starting to work on 'knowledge'.

---
 src/core/index.h | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'src/core/index.h')

diff --git a/src/core/index.h b/src/core/index.h
index 76e3507..1417662 100644
--- a/src/core/index.h
+++ b/src/core/index.h
@@ -3,6 +3,17 @@
 
 #include "index_types.h"
 
+/*
+ * Returns a random ZoO_index.
+ */
+ZoO_index ZoO_index_random (void);
+
+/*
+ * Returns a random ZoO_index, included in [0, limit]
+ */
+/*@
+ @ ensures (\result <= limit);
+ @*/
 ZoO_index ZoO_index_random_up_to (const ZoO_index limit);
 
 #endif
-- 
cgit v1.2.3-70-g09d2