18package com.microsoft.z3;
43 .nCtx(), getNativeObject()));
52 return apply(g,
null);
61 getContext().checkContextMatch(g);
64 .nCtx(), getNativeObject(), g.getNativeObject()));
67 getContext().checkContextMatch(p);
70 g.getNativeObject(), p.getNativeObject()));
89 Tactic(Context ctx,
String name)
91 super(ctx, Native.mkTactic(ctx.nCtx(), name));
96 Native.tacticIncRef(getContext().nCtx(), getNativeObject());
100 void addToReferenceQueue() {
IDecRefQueue< Tactic > getTacticDRQ()
void storeReference(Context ctx, T obj)
static long tacticApply(long a0, long a1, long a2)
static long tacticGetParamDescrs(long a0, long a1)
static long tacticApplyEx(long a0, long a1, long a2, long a3)
static String tacticGetHelp(long a0, long a1)
ParamDescrs getParameterDescriptions()
ApplyResult apply(Goal g)
ApplyResult apply(Goal g, Params p)
def String(name, ctx=None)