libraries moved to opensim-libs, a new repository

1 files changed, 0 insertions, 42 deletions

diff --git a/libraries/ode-0.9/OPCODE/Ice/IceRandom.h b/libraries/ode-0.9/OPCODE/Ice/IceRandom.h
deleted file mode 100644
index 3170b33..0000000
--- a/libraries/ode-0.9/OPCODE/Ice/IceRandom.h
+++ /dev/null
@@ -1,42 +0,0 @@
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-/**
- *      Contains code for random generators.
- *      \file           IceRandom.h
- *      \author         Pierre Terdiman
- *      \date           August, 9, 2001
- */
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-
-///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
-// Include Guard
-#ifndef __ICERANDOM_H__
-#define __ICERANDOM_H__
-
-        FUNCTION ICECORE_API    void    SRand(udword seed);
-        FUNCTION ICECORE_API    udword  Rand();
-
-        //! Returns a unit random floating-point value
-        inline_ float UnitRandomFloat() { return float(Rand()) * ONE_OVER_RAND_MAX;     }
-
-        //! Returns a random index so that 0<= index < max_index
-        ICECORE_API     udword GetRandomIndex(udword max_index);
-
-        class ICECORE_API BasicRandom
-        {
-                public:
-
-                //! Constructor
-                inline_                         BasicRandom(udword seed=0)      : mRnd(seed)    {}
-                //! Destructor
-                inline_                         ~BasicRandom()                                                          {}
-
-                inline_ void            SetSeed(udword seed)            { mRnd = seed;                                                                                  }
-                inline_ udword          GetCurrentValue()       const   { return mRnd;                                                                                  }
-                inline_ udword          Randomize()                                     { mRnd = mRnd * 2147001325 + 715136305; return mRnd;    }
-
-                private:
-                                udword          mRnd;
-        };
-
-#endif // __ICERANDOM_H__
-