diff options
Diffstat (limited to 'include/klee/ADT/RNG.h')
-rw-r--r-- | include/klee/ADT/RNG.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/include/klee/ADT/RNG.h b/include/klee/ADT/RNG.h index fc08e3b8..1e7a1682 100644 --- a/include/klee/ADT/RNG.h +++ b/include/klee/ADT/RNG.h @@ -19,17 +19,10 @@ namespace klee { /* generates a random number on [0,0xffffffff]-interval */ unsigned int getInt32(); - /* generates a random number on [0,0x7fffffff]-interval */ - int getInt31(); - /* generates a random number on [0,1]-real-interval */ - double getDoubleLR(); - float getFloatLR(); /* generates a random number on [0,1)-real-interval */ double getDoubleL(); - float getFloatL(); /* generates a random number on (0,1)-real-interval */ double getDouble(); - float getFloat(); /* generators a random flop */ bool getBool(); }; |