isDecidedSat method

bool isDecidedSat()

Implementation

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