libref.spec

IMap

object IMap

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. IMap
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. def acc_assign[T](m: Map[BigInt, T], from: BigInt, until: BigInt, e: T, i: BigInt): Boolean

  7. def acc_copy[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt, i: BigInt): Boolean

  8. def acc_swap[T](m: Map[BigInt, T], i: BigInt, j: BigInt, k: BigInt): Boolean

  9. def acc_toList[T](m: Map[BigInt, T], from: BigInt, until: BigInt, i: BigInt): Boolean

  10. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  11. def assign[T](m: Map[BigInt, T], from: BigInt, until: BigInt, e: T): Map[BigInt, T]

  12. def assign_defined_at[T](m: Map[BigInt, T], from: BigInt, until: BigInt, e: T, i: BigInt): Boolean

  13. def assign_defined_between[T](m: Map[BigInt, T], from: BigInt, until: BigInt, e: T, i: BigInt, j: BigInt): Boolean

  14. def assign_op[T](m: Map[BigInt, T], from: BigInt, until: BigInt, e: T): Map[BigInt, T]

  15. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  16. def copy[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt): Map[BigInt, T]

  17. def copy_defined_at[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt, i: BigInt): Boolean

  18. def copy_defined_between[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt, i: BigInt, j: BigInt): Boolean

  19. def copy_forall[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt, p: (T) ⇒ Boolean, i: BigInt, j: BigInt): Boolean

  20. def copy_forall[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt, p: (T) ⇒ Boolean): Boolean

  21. def defined_between_at[T](m: Map[BigInt, T], from: BigInt, until: BigInt, i: BigInt): Boolean

  22. def defined_between_shrink[T](m: Map[BigInt, T], from: BigInt, until: BigInt, left: BigInt, right: BigInt): Boolean

  23. def defined_between_tran[T](m: Map[BigInt, T], i: BigInt, j: BigInt, k: BigInt): Boolean

  24. def empty[T]: Map[BigInt, T]

  25. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  26. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  27. def exists[T](m: Map[BigInt, T], from: BigInt, until: BigInt, p: (T) ⇒ Boolean): Boolean

  28. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  29. def forall[T](m: Map[BigInt, T], from: BigInt, until: BigInt, p: (T) ⇒ Boolean): Boolean

  30. def forall_shrink[T](m: Map[BigInt, T], from: BigInt, until: BigInt, p: (T) ⇒ Boolean, i: BigInt, j: BigInt): Boolean

  31. def forall_tran[T](m: Map[BigInt, T], i: BigInt, j: BigInt, k: BigInt, p: (T) ⇒ Boolean): Boolean

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

    Definition Classes
    AnyRef → Any

  33. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  34. def isDefinedBetween[T](m: Map[BigInt, T], from: BigInt, until: BigInt): Boolean

  35. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  37. final def notify(): Unit

    Definition Classes
    AnyRef

  38. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  39. def swap[T](m: Map[BigInt, T], i: BigInt, j: BigInt): Map[BigInt, T]

  40. def swap_defined_between[T](m: Map[BigInt, T], i: BigInt, j: BigInt, n1: BigInt, n2: BigInt): Boolean

  41. def swap_toList_append[T](m: Map[BigInt, T], i: BigInt, j: BigInt, n1: BigInt, n2: BigInt): Boolean

  42. def swap_toList_comm[T](m: Map[BigInt, T], i: BigInt, j: BigInt, n1: BigInt, n2: BigInt): Boolean

  43. def swap_toList_contains[T](m: Map[BigInt, T], i: BigInt, j: BigInt, n1: BigInt, n2: BigInt, k: BigInt): Boolean

  44. def swap_toList_contains_strict[T](m: Map[BigInt, T], i: BigInt, j: BigInt, n1: BigInt, n2: BigInt, k: BigInt): Boolean

  45. def swap_toList_eq[T](m: Map[BigInt, T], i: BigInt, j: BigInt, n1: BigInt, n2: BigInt): Boolean

  46. def swap_toList_perm[T](m: Map[BigInt, T], i: BigInt, j: BigInt, n1: BigInt, n2: BigInt): Boolean

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

    Definition Classes
    AnyRef

  48. def toList[T](m: Map[BigInt, T], from: BigInt, until: BigInt): List[T]

  49. def toList_append[T](m: Map[BigInt, T], i: BigInt, j: BigInt, k: BigInt): Boolean

  50. def toList_cons[T](m: Map[BigInt, T], i: BigInt, j: BigInt): Boolean

  51. def toList_contains[T](m: Map[BigInt, T], i: BigInt, j: BigInt, k: BigInt): Boolean

  52. def toList_copy[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt, i: BigInt, j: BigInt): Boolean

  53. def toList_copy[T](m1: Map[BigInt, T], m2: Map[BigInt, T], from: BigInt, until: BigInt, offset: BigInt): Boolean

  54. def toList_drop[T](m: Map[BigInt, T], from: BigInt, until: BigInt, n: BigInt): Boolean

  55. def toList_snoc[T](m: Map[BigInt, T], e: T, i: BigInt, j: BigInt): Boolean

  56. def toList_snoc[T](m: Map[BigInt, T], i: BigInt, j: BigInt): Boolean

  57. def toList_take[T](m: Map[BigInt, T], from: BigInt, until: BigInt, n: BigInt): Boolean

  58. def toString(): String

    Definition Classes
    AnyRef → Any

  59. def updated_defined_at[T](m: Map[BigInt, T], i: BigInt, e: T, j: BigInt): Boolean

  60. def updated_defined_between[T](m: Map[BigInt, T], i: BigInt, e: T, from: BigInt, until: BigInt): Boolean

  61. def updated_forall[T](m: Map[BigInt, T], i: BigInt, e: T, from: BigInt, until: BigInt, p: (T) ⇒ Boolean): Boolean

  62. def updated_toList[T](m: Map[BigInt, T], i: BigInt, e: T, from: BigInt, until: BigInt): Boolean

  63. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped