C# (CSharp) Microsoft.Automata Chooser.ChooseBV64 Exemples

ChooseBV64() public méthode

Choose a random ulong.

public ChooseBV64 ( ) : ulong
Résultat	ulong

Exemple #1

        ///// <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));
        }