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()));
89 Tactic(Context ctx,
String name)
91 super(ctx, Native.mkTactic(ctx.nCtx(), name));
96 Native.tacticIncRef(getContext().nCtx(), getNativeObject());
100 void addToReferenceQueue() {