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 Details
- arrayToNative
  
  public static long[] arrayToNative(Z3Object[] a)
- arrayLength
  
  public static int arrayLength(Z3Object[] a)