Packages

object Z3

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

Value Members

  1. final val MAX_BITS: Int(21)
  2. final val MAX_DIM: Int(3)
  3. final val MAX_MASK: Long(2097151L)
  4. def apply(x: Int, y: Int, z: Int): Z3

    So this represents the order of the tuple, but the bits will be encoded in reverse order: ....z1y1x1z0y0x0 This is a little confusing.

  5. def apply(zvalue: Long): Z3
  6. def combine(z: Long): Int

    combine every third bit to form a value.

    combine every third bit to form a value. Maximum value is 21 bits.

  7. def load(target: Long, p: Long, bits: Int, dim: Int): Long

    Loads either 1000...

    Loads either 1000... or 0111... into starting at given bit index of a given dimention

  8. def split(value: Long): Long

    insert 00 between every bit in value.

    insert 00 between every bit in value. Only first 21 bits can be considred.

  9. def unapply(z: Z3): Option[(Int, Int, Int)]
  10. def zdivide(p: Z3, rmin: Z3, rmax: Z3): (Z3, Z3)
  11. def zranges(min: Z3, max: Z3): Seq[(BigInt, BigInt)]

    Recurse down the oct-tree and report all z-ranges which are contained in the cube defined by the min and max points