Esempio n. 1
0
 public static BitVector64 ToBitVector(this BitString src, N64 n)
 => BitVector64.FromBitString(src);
Esempio n. 2
0
 public static BitVector64 BitVector(this IPolyrand random, N64 n)
 => random.Next <ulong>();
Esempio n. 3
0
 public static BitVector64 ToBitVector(this long src, N64 n)
 => (ulong)src;
Esempio n. 4
0
 public static BitVector64 ToBitVector(this ulong src, N64 n)
 => src;
Esempio n. 5
0
 public static BitVector64 ToBitVector(this uint src, N64 n)
 => src;
Esempio n. 6
0
 public static BitVector64 ToBitVector(this int src, N64 n)
 => (uint)src;
Esempio n. 7
0
 public static BitVector64 ToBitVector(this short src, N64 n)
 => (ushort)src;
Esempio n. 8
0
 public static BitVector64 ToBitVector(this sbyte src, N64 n)
 => (byte)src;
Esempio n. 9
0
 public static BitVector64 ToBitVector <N, T>(this BitVector <N, T> src, N64 n)
     where T : unmanaged
     where N : ITypeNat, new()
 => src.Data.TakeUInt64();
Esempio n. 10
0
 public static BitVector64 ToBitVector <T>(this BitVector <T> src, N64 n)
     where T : unmanaged
 => src.Data.TakeUInt64();
Esempio n. 11
0
 public static BitMatrix64 BitMatrix(this IPolyrand random, N64 n)
 => Z0.BitMatrix64.From(random.Array <ulong>(64));