isDecidedUnsat method

bool isDecidedUnsat()

Implementation

bool isDecidedUnsat() {
  return _c._z3.goal_is_decided_unsat(_goal);
}