toContext method

Goal toContext(
  1. Context c
)

Implementation

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