isDecidedSat method

bool isDecidedSat()

Returns whether the goal is empty and precise.

Implementation

bool isDecidedSat() {
  return _c._z3.goal_is_decided_sat(_goal);
}