isInconsistent method

bool isInconsistent()

Returns whether or not the goal contains false.

Implementation

bool isInconsistent() {
  return _c._z3.goal_inconsistent(_goal);
}