Package io.github.cvc5

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)  
      static long[][] getPointers​(io.github.cvc5.IPointer[][] objects)  
      static Proof[] getProofs​(long[] pointers)
      return proofs array from array of pointers
      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)  
      static Term[] getTerms​(long[] 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)
        Parameters:
        pointers - The array of pointers.
        Returns:
        Sorts array from array of Sort pointers.

      • getTerms

        public static Term[] getTerms​(long[] pointers)
        Parameters:
        pointers - The array of pointers.
        Returns:
        Terms array from array of Term pointers.

      • getProofs

        public static Proof[] getProofs​(long[] pointers)
        return proofs array from array of pointers

      • getPointers

        public static long[] getPointers​(io.github.cvc5.IPointer[] objects)
        Parameters:
        objects - The one dimensional array of pointers.
        Returns:
        Pointers from one dimensional array.

      • getPointers

        public static long[][] getPointers​(io.github.cvc5.IPointer[][] objects)
        Parameters:
        objects - The two dimensional array of pointers.
        Returns:
        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
        Returns:
        The pair of big integers.

      • 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
        Returns:
        The rational string.