isDecidedUnsat method

bool isDecidedUnsat()

Returns whether the goal is inconsistent and precise.

Implementation

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