18 package 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()));
100 void addToReferenceQueue() {
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)
static void tacticIncRef(long a0, long a1)
IDecRefQueue< Tactic > getTacticDRQ()
void storeReference(Context ctx, T obj)
ApplyResult apply(Goal g, Params p)
ApplyResult apply(Goal g)
static long tacticGetParamDescrs(long a0, long a1)
static long tacticApply(long a0, long a1, long a2)
ParamDescrs getParameterDescriptions()
def String(name, ctx=None)