final class Z3 extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Z3
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new Z3(z: Long)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
- def +(offset: Long): Z3
- def -(offset: Long): Z3
- def <(other: Z3): Boolean
- def <=(other: Z3): Boolean
- def ==(other: Z3): Boolean
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
- def >(other: Z3): Boolean
- def >=(other: Z3): Boolean
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def bitsToString: String
- def d0: Int
- def d1: Int
- def d2: Int
- def decode: (Int, Int, Int)
- def dim(i: Int): Int
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- def inRange(rmin: Z3, rmax: Z3): Boolean
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mid(p: Z3): Z3
-
def
toString(): String
- Definition Classes
- Z3 → Any
- val z: Long