Package ru.ispras.microtesk.utils
Class BigIntegerUtils
- java.lang.Object
-
- ru.ispras.microtesk.utils.BigIntegerUtils
-
public final class BigIntegerUtils extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.util.Collection<ru.ispras.fortress.data.types.bitvector.BitVector>
toBitVectorCollection(java.util.Collection<java.math.BigInteger> values, int bitSize)
static java.util.List<ru.ispras.fortress.data.types.bitvector.BitVector>
toBitVectorList(java.util.Collection<java.math.BigInteger> values, int bitSize)
static java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector>
toBitVectorSet(java.util.Collection<java.math.BigInteger> values, int bitSize)
static java.util.Collection<java.lang.Integer>
toIntegerCollection(java.util.Collection<java.math.BigInteger> values)
static java.util.List<java.lang.Integer>
toIntegerList(java.util.Collection<java.math.BigInteger> values)
static java.util.Set<java.lang.Integer>
toIntegerSet(java.util.Collection<java.math.BigInteger> values)
static java.util.Collection<java.lang.Long>
toLongCollection(java.util.Collection<java.math.BigInteger> values)
static java.util.List<java.lang.Long>
toLongList(java.util.Collection<java.math.BigInteger> values)
static java.util.Set<java.lang.Long>
toLongSet(java.util.Collection<java.math.BigInteger> values)
static java.math.BigInteger
valueOfUnsignedLong(long value)
static java.util.Collection<java.math.BigInteger>
valuesOfUnsignedLongs(java.util.Collection<java.lang.Long> values)
-
-
-
Method Detail
-
valueOfUnsignedLong
public static java.math.BigInteger valueOfUnsignedLong(long value)
-
valuesOfUnsignedLongs
public static java.util.Collection<java.math.BigInteger> valuesOfUnsignedLongs(java.util.Collection<java.lang.Long> values)
-
toIntegerCollection
public static java.util.Collection<java.lang.Integer> toIntegerCollection(java.util.Collection<java.math.BigInteger> values)
-
toIntegerList
public static java.util.List<java.lang.Integer> toIntegerList(java.util.Collection<java.math.BigInteger> values)
-
toIntegerSet
public static java.util.Set<java.lang.Integer> toIntegerSet(java.util.Collection<java.math.BigInteger> values)
-
toLongCollection
public static java.util.Collection<java.lang.Long> toLongCollection(java.util.Collection<java.math.BigInteger> values)
-
toLongList
public static java.util.List<java.lang.Long> toLongList(java.util.Collection<java.math.BigInteger> values)
-
toLongSet
public static java.util.Set<java.lang.Long> toLongSet(java.util.Collection<java.math.BigInteger> values)
-
toBitVectorCollection
public static java.util.Collection<ru.ispras.fortress.data.types.bitvector.BitVector> toBitVectorCollection(java.util.Collection<java.math.BigInteger> values, int bitSize)
-
toBitVectorList
public static java.util.List<ru.ispras.fortress.data.types.bitvector.BitVector> toBitVectorList(java.util.Collection<java.math.BigInteger> values, int bitSize)
-
toBitVectorSet
public static java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> toBitVectorSet(java.util.Collection<java.math.BigInteger> values, int bitSize)
-
-