getPrecision method

GoalPrecision getPrecision()

Implementation

GoalPrecision getPrecision() {
  final result = _c._z3.goal_precision(_goal);
  switch (result) {
    case Z3_goal_prec.GOAL_PRECISE:
      return GoalPrecision.precise;
    case Z3_goal_prec.GOAL_UNDER:
      return GoalPrecision.under;
    case Z3_goal_prec.GOAL_OVER:
      return GoalPrecision.over;
    case Z3_goal_prec.GOAL_UNDER_OVER:
      return GoalPrecision.underOver;
    default:
      throw AssertionError('Unknown goal precision: $result');
  }
}