18 package com.microsoft.z3;
44 for (
int i = 0; i < n; i++)
45 res[i] =
Expr.create(getContext(),
static long getPattern(long a0, long a1, int a2)
static String patternToString(long a0, long a1)
static int getPatternNumTerms(long a0, long a1)
def String(name, ctx=None)