edu.uiowa.cs.clc.kind2.util

Class Util

java.lang.Object

edu.uiowa.cs.clc.kind2.util.Util

public class Util
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Util()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Util

public Util()

Method Detail

safeList

public static <T> java.util.List<T> safeList(java.util.Collection<? extends T> original)

safeStringSortedMap

public static <T> java.util.SortedMap<java.lang.String,T> safeStringSortedMap(java.util.Map<java.lang.String,T> original)

writeToFile

public static void writeToFile(java.lang.String content,
                               java.io.File file)
                        throws java.io.IOException

Throws:

java.io.IOException

removeTrailingZeros

public static java.lang.String removeTrailingZeros(java.lang.String str)

smtDivide

public static java.math.BigInteger smtDivide(java.math.BigInteger a,
                                             java.math.BigInteger b)

In SMT solvers, integer division behaves differently than in Java. In particular, for -5 div 3 java says '-1' and SMT solvers say '-2'