Method: Z3::BitvecExpr.UnsignedLe

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

.UnsignedLe(a, b) ⇒ Object 



361
362
363
364
 
# File 'lib/z3/expr/bitvec_expr.rb', line 361

def UnsignedLe(a, b)
  a, b = coerce_to_same_bv_sort(a, b)
  BoolSort.new.new(LowLevel.mk_bvule(a, b))
end