Package com.microsoft.z3

Class Z3Object

java.lang.Object

com.microsoft.z3.Z3Object

Direct Known Subclasses:

ApplyResult, AST, ASTVector, Constructor, ConstructorList, Fixedpoint, FuncInterp, FuncInterp.Entry, Goal, Model, Optimize, ParamDescrs, Params, Probe, Solver, Statistics, Symbol, Tactic

public abstract class Z3Object
extends Object

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

Method Summary

Modifier and Type	Method	Description
static int	arrayLength(Z3Object[] a)
static long[]	arrayToNative(Z3Object[] a)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

arrayToNative

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

arrayLength

public static int arrayLength(Z3Object[] a)