toContext method

Goal toContext(
  1. Context c
)

Transfers this goal to another Z3 context.

Implementation

Goal toContext(Context c) {
  final ptr = _c._z3.goal_translate(_goal, c._context);
  return c._getGoal(ptr);
}