failIfNotDecided method
Implementation
Tactic failIfNotDecided() {
final result = _c._z3.tactic_fail_if_not_decided();
return _c._getTactic(result);
}
Tactic failIfNotDecided() {
final result = _c._z3.tactic_fail_if_not_decided();
return _c._getTactic(result);
}