Z3
Static Public Member Functions
Z3Object Class Referenceabstract
+ Inheritance diagram for Z3Object:

Static Public Member Functions

static long[] arrayToNative (Z3Object[] a)
 
static int arrayLength (Z3Object[] a)
 

Detailed Description

Internal base class for interfacing with native Z3 objects. Should not be used externally.

Definition at line 24 of file Z3Object.java.

Member Function Documentation

◆ arrayLength()

static int arrayLength ( Z3Object[]  a)
inlinestatic

◆ arrayToNative()

static long [] arrayToNative ( Z3Object[]  a)
inlinestatic