Microsoft.Automata.Chooser.ChooseBV64 C# (CSharp) Méthode

        public ulong ChooseBV64()
        {
            byte[] randomData = new byte[sizeof(ulong)];

            ulong result;

            //do
            //{
                Chooser.randomNumberGenerator.GetBytes(randomData);
                result = BitConverter.ToUInt64(randomData, 0);
            //}
            //while (result == uint.MaxValue);

            return result;
        }

        ///// <summary>
        ///// Equivalent (identical)
        ///// </summary>
        //public static bool operator ==(BV128 x, BV128 y)
        //{
        //    return x.Item1 == y.Item1 && x.Item2 == y.Item2;
        //}

        ///// <summary>
        ///// Inequivalent (different)
        ///// </summary>
        //public static bool operator !=(BV128 x, BV128 y)
        //{
        //    return x.Item1 != y.Item1 || x.Item2 != y.Item2;
        //}

        /// <summary>
        /// Generates a random bitvector.
        /// </summary>
        public static BV128 Random()
        {
            var c  = new Chooser();
            var u1 = c.ChooseBV64();
            var u2 = c.ChooseBV64();

            return(new BV128(u1, u2));
        }