Packages

final class Z3 extends AnyVal

Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Z3
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Z3(z: Long)

Value Members

  1. def +(offset: Long): Z3
  2. def -(offset: Long): Z3
  3. def <(other: Z3): Boolean
  4. def <=(other: Z3): Boolean
  5. def ==(other: Z3): Boolean
  6. def >(other: Z3): Boolean
  7. def >=(other: Z3): Boolean
  8. def bitsToString: String
  9. def decode: (Int, Int, Int)
  10. def dim(i: Int): Int
  11. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  12. def inRange(rmin: Z3, rmax: Z3): Boolean
  13. def mid(p: Z3): Z3
  14. def toString(): String
    Definition Classes
    Z3 → Any
  15. val z: Long