Z3

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[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

19. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

20. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

21. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

22. 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

23. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

24. final def notify(): Unit

    

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

26. 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

27. 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

28. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

29. def toString(): String

    

    Definition Classes

    AnyRef → Any

30. def unapply(z: Z3): Option[(Int, Int, Int)]

    

31. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34. 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

35. 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

36. def zranges(zbounds: ZRange, precision: Int, maxRanges: Option[Int]): Seq[IndexRange]

    

    Definition Classes

    ZN

37. def zranges(zbounds: ZRange, precision: Int): Seq[IndexRange]

    

    Definition Classes

    ZN

38. def zranges(zbounds: ZRange): Seq[IndexRange]

    

    Definition Classes

    ZN