public class Util
extends java.lang.Object
| Constructor and Description |
|---|
Util() |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
removeTrailingZeros(java.lang.String str) |
static <T> java.util.List<T> |
safeList(java.util.Collection<? extends T> original) |
static <T> java.util.SortedMap<java.lang.String,T> |
safeStringSortedMap(java.util.Map<java.lang.String,T> original) |
static java.math.BigInteger |
smtDivide(java.math.BigInteger a,
java.math.BigInteger b)
In SMT solvers, integer division behaves differently than in Java.
|
static void |
writeToFile(java.lang.String content,
java.io.File file) |
public static <T> java.util.List<T> safeList(java.util.Collection<? extends T> original)
public static <T> java.util.SortedMap<java.lang.String,T> safeStringSortedMap(java.util.Map<java.lang.String,T> original)
public static void writeToFile(java.lang.String content,
java.io.File file)
throws java.io.IOException
java.io.IOExceptionpublic static java.lang.String removeTrailingZeros(java.lang.String str)
public static java.math.BigInteger smtDivide(java.math.BigInteger a,
java.math.BigInteger b)