| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-01-18 19:09:16 +0100 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-01-18 19:09:16 +0100 |
| commit | 0d49fb74eadcf933f696420cd182077927680d26 (patch) | |
| tree | 9220d260ce878f369138da12dae0300cf9ade5c9 /src/core/index.h | |
| parent | 24afb3e60bafd98e6a83dcb41ee6a7f7d41e76bc (diff) | |
Done with 'core', starting to work on 'knowledge'.
Diffstat (limited to 'src/core/index.h')
| -rw-r--r-- | src/core/index.h | 11 |
1 files changed, 11 insertions, 0 deletions
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 |