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 d0: Int
  10. def d1: Int
  11. def d2: Int
  12. def decode: (Int, Int, Int)
  13. def dim(i: Int): Int
  14. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  15. def inRange(rmin: Z3, rmax: Z3): Boolean
  16. def mid(p: Z3): Z3
  17. def toString(): String
    Definition Classes
    Z3 → Any
  18. val z: Long