18 package com.microsoft.z3;
81 getContext().checkContextMatch(constraints);
132 for (
int i = 0; i < n; i++)
172 getNativeObject(), ctx.nCtx()));
224 return getContext().
mkTrue();
237 Goal(Context ctx,
boolean models,
boolean unsatCores,
boolean proofs) {
238 super(ctx, Native.mkGoal(ctx.nCtx(), (models),
239 (unsatCores), (proofs)));
251 return new Model(getContext(),
263 void addToReferenceQueue() {