Method: Z3::Tactic.fail_if_not_decided

Defined in:
lib/z3/tactic.rb

.fail_if_not_decided ⇒ Object 



47
48
49
 
# File 'lib/z3/tactic.rb', line 47

def fail_if_not_decided
  new LowLevel.tactic_fail_if_not_decided
end