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