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.math.BigInteger
asUnsigned(long value)
static java.util.Collection<java.math.BigInteger>
asUnsigned(java.util.Collection<java.lang.Long> values)
static java.util.Collection<ru.ispras.fortress.data.types.bitvector.BitVector>
toBvCollection(java.util.Collection<java.math.BigInteger> values, int bitSize)
static java.util.List<ru.ispras.fortress.data.types.bitvector.BitVector>
toBvList(java.util.Collection<java.math.BigInteger> values, int bitSize)
static java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector>
toBvSet(java.util.Collection<java.math.BigInteger> values, int bitSize)
static java.util.Collection<java.lang.Integer>
toIntCollection(java.util.Collection<java.math.BigInteger> values)
static java.util.List<java.lang.Integer>
toIntList(java.util.Collection<java.math.BigInteger> values)
static java.util.Set<java.lang.Integer>
toIntSet(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)
-
-
-
Method Detail
-
asUnsigned
public static java.math.BigInteger asUnsigned(long value)
-
asUnsigned
public static java.util.Collection<java.math.BigInteger> asUnsigned(java.util.Collection<java.lang.Long> values)
-
toIntCollection
public static java.util.Collection<java.lang.Integer> toIntCollection(java.util.Collection<java.math.BigInteger> values)
-
toIntList
public static java.util.List<java.lang.Integer> toIntList(java.util.Collection<java.math.BigInteger> values)
-
toIntSet
public static java.util.Set<java.lang.Integer> toIntSet(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)
-
toBvCollection
public static java.util.Collection<ru.ispras.fortress.data.types.bitvector.BitVector> toBvCollection(java.util.Collection<java.math.BigInteger> values, int bitSize)
-
toBvList
public static java.util.List<ru.ispras.fortress.data.types.bitvector.BitVector> toBvList(java.util.Collection<java.math.BigInteger> values, int bitSize)
-
toBvSet
public static java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> toBvSet(java.util.Collection<java.math.BigInteger> values, int bitSize)
-
-