class Z3::BitvecExpr
- Z3::BitvecExpr
- Reference
- Object
Defined in:
z3/bitvec_expr.crConstructors
Instance Method Summary
-
#!=(other)
Returns
trueif this object is not equal to other. - #%(other)
- #&(other)
- #*(other)
- #+(other)
- #-(other)
- #-
- #/(other)
- #<<(other)
-
#==(other)
Returns
false(other can only be aValuehere). - #>>(other)
- #^(other)
- #|(other)
- #~
- #concat(other : BitvecExpr)
- #const?
- #extract(hi : UInt32, lo : UInt32)
- #inspect(io)
- #lshift(other)
- #nand(other)
- #nor(other)
- #rotate_left(n : Int)
- #rotate_right(n : Int)
- #rshift(other)
- #sign_ext(n : Int)
- #signed_div(other)
- #signed_ge(other)
- #signed_gt(other)
- #signed_le(other)
- #signed_lshift(other)
- #signed_lt(other)
- #signed_mod(other)
- #signed_rem(other)
- #signed_rshift(other)
- #simplify
- #size
- #sort : Z3::BitvecSort
- #to_i
- #to_s(io)
- #to_unsafe : LibZ3::Ast
- #unsigned_div(other)
- #unsigned_ge(other)
- #unsigned_gt(other)
- #unsigned_le(other)
- #unsigned_lshift(other)
- #unsigned_lt(other)
- #unsigned_rem(other)
- #unsigned_rshift(other)
- #xnor(other)
- #zero_ext(n : Int)
Constructor Detail
Instance Method Detail
def !=(other)
#
Description copied from class Object
Returns true if this object is not equal to other.
By default this method is implemented as !(self == other)
so there's no need to override this unless there's a more efficient
way to do it.
def ==(other)
#
Description copied from class Reference
Returns false (other can only be a Value here).