abstract struct Int
- Int
- Number
- Value
- Object
Overview
Ruby gets 2 + expr from Integer#coerce. Crystal has no such protocol, so every
reversed operator has to be spelled out - one per Crystal type which can be cast
into the sort on the other side.
Included Modules
- Comparable(BigDecimal)
- Comparable(BigRational)
- Comparable(BigInt)
Defined in:
z3/core_ext.crInstance Method Summary
- #!=(other : Z3::BitvecExpr)
- #!=(other : Z3::IntExpr)
- #!=(other : Z3::RealExpr)
- #&(other : Z3::BitvecExpr)
- #*(other : Z3::BitvecExpr)
- #*(other : Z3::IntExpr)
- #*(other : Z3::RealExpr)
-
#+(other : Z3::BitvecExpr)
A Bitvec literal takes its size from the expression it's paired with, and the comparisons are all sign-dependent, so they're #signed_lt and friends only
- #+(other : Z3::IntExpr)
- #+(other : Z3::RealExpr)
- #-(other : Z3::BitvecExpr)
- #-(other : Z3::IntExpr)
- #-(other : Z3::RealExpr)
- #/(other : Z3::IntExpr)
- #/(other : Z3::RealExpr)
- #<(other : Z3::IntExpr)
- #<(other : Z3::RealExpr)
- #<=(other : Z3::IntExpr)
- #<=(other : Z3::RealExpr)
- #==(other : Z3::BitvecExpr)
- #==(other : Z3::IntExpr)
- #==(other : Z3::RealExpr)
- #>(other : Z3::IntExpr)
- #>(other : Z3::RealExpr)
- #>=(other : Z3::IntExpr)
- #>=(other : Z3::RealExpr)
- #^(other : Z3::BitvecExpr)
- #|(other : Z3::BitvecExpr)
Instance Method Detail
def +(other : Z3::BitvecExpr)
#
A Bitvec literal takes its size from the expression it's paired with, and the comparisons are all sign-dependent, so they're #signed_lt and friends only