Method: Z3::BoolExpr.coerce_to_same_bool_sort

Defined in:
lib/z3/expr/bool_expr.rb

.coerce_to_same_bool_sort(*args) ⇒ Object

Raises:



53
54
55
56
57
 
# File 'lib/z3/expr/bool_expr.rb', line 53

def coerce_to_same_bool_sort(*args)
  args = coerce_to_same_sort(*args)
  raise Z3::Exception, "Bool value expected" unless args[0].is_a?(BoolExpr)
  args
end