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()));
90 Tactic(Context ctx, String name)
92 super(ctx, Native.mkTactic(ctx.nCtx(), name));
static String tacticGetHelp(long a0, long 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()