18 package com.microsoft.z3;
44 .nCtx(), getNativeObject()));
53 return apply(g, null);
62 getContext().checkContextMatch(g);
65 .nCtx(), getNativeObject(), g.getNativeObject()));
68 getContext().checkContextMatch(p);
71 g.getNativeObject(), p.getNativeObject()));
static String tacticGetHelp(long a0, long a1)
static long mkTactic(long a0, String a1)
static long tacticApplyEx(long a0, long a1, long a2, long a3)
IDecRefQueue getTacticDRQ()
ApplyResult apply(Goal g, Params p)
ApplyResult apply(Goal g)
void incAndClear(Context ctx, long o)
static long tacticGetParamDescrs(long a0, long a1)
static long tacticApply(long a0, long a1, long a2)
ParamDescrs getParameterDescriptions()