Package io.github.cvc5
Class Utils
- java.lang.Object
-
- io.github.cvc5.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 arraystatic long[][]
getPointers(io.github.cvc5.IPointer[][] objects)
get pointers from two dimensional matrixstatic java.lang.String
getRational(Pair<java.math.BigInteger,java.math.BigInteger> pair)
Convert a pair of BigIntegers to a rational string a/bstatic Pair<java.math.BigInteger,java.math.BigInteger>
getRational(java.lang.String rational)
Convert a rational string a/b to a pair of BigIntegersstatic Sort[]
getSorts(long[] pointers)
return sorts array from array of pointersstatic Term[]
getTerms(long[] pointers)
return terms array from array of pointersstatic void
loadLibraries()
load cvc5 jni librarystatic 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)
-
-
-
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
-
validateUnsigned
public static void validateUnsigned(int integer, java.lang.String name) throws CVC5ApiException
- Throws:
CVC5ApiException
-
validateUnsigned
public static void validateUnsigned(long integer, java.lang.String name) throws CVC5ApiException
- Throws:
CVC5ApiException
-
validateUnsigned
public static void validateUnsigned(int[] integers, java.lang.String name) throws CVC5ApiException
- Throws:
CVC5ApiException
-
validateUnsigned
public static void validateUnsigned(long[] integers, java.lang.String name) throws CVC5ApiException
- Throws:
CVC5ApiException
-
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
-
-