Packages

object Z3 extends ZN

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

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val BitsPerDimension: Int
    Definition Classes
    Z3 → ZN
  5. val Dimensions: Int
    Definition Classes
    Z3 → ZN
  6. val MaxMask: Long
    Definition Classes
    Z3 → ZN
  7. val TotalBits: Int
    Definition Classes
    Z3 → ZN
  8. 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.

  9. def apply(zvalue: Long): Z3
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  12. 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.

    z

    value to combine

    Definition Classes
    Z3 → ZN
  13. def contains(range: ZRange, value: Long): Boolean

    Is the value contained in the range.

    Is the value contained in the range. Considers user-space.

    range

    range

    value

    value to be tested

    Definition Classes
    Z3 → ZN
  14. def contains(range: ZRange, value: ZRange): Boolean

    Is the value contained in the range.

    Is the value contained in the range. Considers user-space.

    range

    range

    value

    value to be tested

    Definition Classes
    ZN
  15. def cut(r: ZRange, xd: Long, inRange: Boolean): List[ZRange]

    Cuts Z-Range in two and trims based on user space, can be used to perform augmented binary search

    Cuts Z-Range in two and trims based on user space, can be used to perform augmented binary search

    Definition Classes
    ZN
  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def longestCommonPrefix(values: Long*): ZPrefix

    Calculates the longest common binary prefix between two z longs

    Calculates the longest common binary prefix between two z longs

    returns

    (common prefix, number of bits in common)

    Definition Classes
    ZN
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  25. def overlaps(range: ZRange, value: ZRange): Boolean

    Does the value overlap with the range.

    Does the value overlap with the range. Considers user-space.

    range

    range

    value

    value to be tested

    Definition Classes
    Z3 → ZN
  26. 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 considered.

    value

    value to split

    Definition Classes
    Z3 → ZN
  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. def unapply(z: Z3): Option[(Int, Int, Int)]
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. def zdivide(p: Long, rmin: Long, rmax: Long): (Long, Long)

    Returns (litmax, bigmin) for the given range and point

    Returns (litmax, bigmin) for the given range and point

    p

    point

    rmin

    minimum value

    rmax

    maximum value

    returns

    (litmax, bigmin)

    Definition Classes
    ZN
  34. def zranges(zbounds: Array[ZRange], precision: Int = 64, maxRanges: Option[Int] = None, maxRecurse: Option[Int] = Some(ZN.DefaultRecurse)): Seq[IndexRange]

    Calculates ranges in index space that match any of the input bounds.

    Calculates ranges in index space that match any of the input bounds. Uses breadth-first searching to allow a limit on the number of ranges returned.

    To improve performance, the following decisions have been made: uses loops instead of foreach/maps uses java queues instead of scala queues allocates initial sequences of decent size sorts once at the end before merging

    zbounds

    search space

    precision

    precision to consider, in bits (max 64)

    maxRanges

    loose cap on the number of ranges to return. A higher number of ranges will have less false positives, but require more processing.

    maxRecurse

    max levels of recursion to apply before stopping

    returns

    ranges covering the search space

    Definition Classes
    ZN
  35. def zranges(zbounds: ZRange, precision: Int, maxRanges: Option[Int]): Seq[IndexRange]
    Definition Classes
    ZN
  36. def zranges(zbounds: ZRange, precision: Int): Seq[IndexRange]
    Definition Classes
    ZN
  37. def zranges(zbounds: ZRange): Seq[IndexRange]
    Definition Classes
    ZN

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from ZN

Inherited from AnyRef

Inherited from Any

Ungrouped