getPrecision method
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');
}
}