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

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(Solver solver, long[] pointers)	return sorts array from array of pointers
static Term[]	getTerms(Solver solver, 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(Solver solver,
                              long[] pointers)

return sorts array from array of pointers

getTerms

public static Term[] getTerms(Solver solver,
                              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