Class Utils


  • public class Utils
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      Utils()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <K> Pair<K,​java.lang.Long>[] getPairs​(Pair<K,​? extends io.github.cvc5.AbstractPointer>[] abstractPointers)  
      static long[] getPointers​(io.github.cvc5.IPointer[] objects)
      get pointers from one dimensional array
      static long[][] getPointers​(io.github.cvc5.IPointer[][] objects)
      get pointers from two dimensional matrix
      static java.lang.String getRational​(Pair<java.math.BigInteger,​java.math.BigInteger> pair)
      Convert a pair of BigIntegers to a rational string a/b
      static Pair<java.math.BigInteger,​java.math.BigInteger> getRational​(java.lang.String rational)
      Convert a rational string a/b to a pair of BigIntegers
      static Sort[] getSorts​(long[] pointers)
      return sorts array from array of pointers
      static Term[] getTerms​(long[] pointers)
      return terms array from array of pointers
      static void loadLibraries()
      load cvc5 jni library
      static void validateUnsigned​(int[] integers, java.lang.String name)  
      static void validateUnsigned​(int integer, java.lang.String name)  
      static void validateUnsigned​(long[] integers, java.lang.String name)  
      static void validateUnsigned​(long integer, java.lang.String name)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Utils

        public Utils()
    • Method Detail

      • loadLibraries

        public static void loadLibraries()
        load cvc5 jni library
      • getSorts

        public static Sort[] getSorts​(long[] pointers)
        return sorts array from array of pointers
      • getTerms

        public static Term[] getTerms​(long[] pointers)
        return terms array from array of pointers
      • getPointers

        public static long[] getPointers​(io.github.cvc5.IPointer[] objects)
        get pointers from one dimensional array
      • getPointers

        public static long[][] getPointers​(io.github.cvc5.IPointer[][] objects)
        get pointers from two dimensional matrix
      • getPairs

        public static <K> Pair<K,​java.lang.Long>[] getPairs​(Pair<K,​? extends io.github.cvc5.AbstractPointer>[] abstractPointers)
      • getRational

        public static Pair<java.math.BigInteger,​java.math.BigInteger> getRational​(java.lang.String rational)
        Convert a rational string a/b to a pair of BigIntegers
      • getRational

        public static java.lang.String getRational​(Pair<java.math.BigInteger,​java.math.BigInteger> pair)
        Convert a pair of BigIntegers to a rational string a/b