com.redhat.et.silex.feature.indexfunction

InvertibleIndexFunction

abstract class InvertibleIndexFunction[V] extends IndexFunction[V]

An IndexFunction that is also invertible (and so 1-1).

V

The range value type of this function.

Self Type
InvertibleIndexFunction[V]
Linear Supertypes
IndexFunction[V], Serializable, Serializable, PartialFunction[Int, V], (Int) ⇒ V, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. InvertibleIndexFunction
  2. IndexFunction
  3. Serializable
  4. Serializable
  5. PartialFunction
  6. Function1
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new InvertibleIndexFunction()

Abstract Value Members

  1. abstract def apply(v1: Int): V

    Definition Classes
    Function1
  2. abstract def domain: Iterator[Int]

    Obtain a new iterator over the indices that the function is defined on.

    Obtain a new iterator over the indices that the function is defined on.

    returns

    An iterator over the function domain

    Definition Classes
    IndexFunction
  3. abstract def inverse: InverseIndexFunction[V]

    Obtain the inverse of this function.

    Obtain the inverse of this function.

    returns

    The inverse function that maps range values to their correponding indices

  4. abstract def isDefinedAt(x: Int): Boolean

    Definition Classes
    PartialFunction
  5. abstract def width: Int

    The width of the integer index interval that contains the domain.

    The width of the integer index interval that contains the domain. All indices this function is defined on are on the interval [0, width)

    returns

    The width of the interval [0, width) containing the function domain.

    Definition Classes
    IndexFunction

Concrete 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 ++(that: InvertibleIndexFunction[V]): InvertibleIndexFunction[V]

    Concatenate two invertible index functions.

    Concatenate two invertible index functions.

    that

    The right-hand function of the concatenation

    returns

    The concatenation of left and right index functions, defined as:

    (f1 ++ f2)(j) = if (j < f1.width) f1(j) else f2(j - f1.width)
    Note

    The range values of the argument functions must be disjoint, in order to preserve the invertability of their concatenation.

  5. final def ++(that: IndexFunction[V]): IndexFunction[V]

    Concatenate two index functions.

    Concatenate two index functions.

    that

    The right-hand function of the concatenation

    returns

    The concatenation of left and right index functions, defined as:

    (f1 ++ f2)(j) = if (j < f1.width) f1(j) else f2(j - f1.width)
    Definition Classes
    IndexFunction
  6. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  7. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  8. def andThen[C](k: (V) ⇒ C): PartialFunction[Int, C]

    Definition Classes
    PartialFunction → Function1
  9. def applyOrElse[A1 <: Int, B1 >: V](x: A1, default: (A1) ⇒ B1): B1

    Definition Classes
    PartialFunction
  10. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. def compose[A](g: (A) ⇒ Int): (A) ⇒ V

    Definition Classes
    Function1
    Annotations
    @unspecialized()
  13. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  19. def lift: (Int) ⇒ Option[V]

    Definition Classes
    PartialFunction
  20. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  21. final def notify(): Unit

    Definition Classes
    AnyRef
  22. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  23. def orElse[A1 <: Int, B1 >: V](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

    Definition Classes
    PartialFunction
  24. final def range: Iterator[V]

    Obtain a new iterator over the function range values

    Obtain a new iterator over the function range values

    returns

    An iterator over values that may be returned by the function

    Definition Classes
    InvertibleIndexFunctionIndexFunction
  25. def runWith[U](action: (V) ⇒ U): (Int) ⇒ Boolean

    Definition Classes
    PartialFunction
  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  27. final def toMap: Map[Int, V]

    Obtain a Scala Map from values in the domain to their corresponding range values.

    Obtain a Scala Map from values in the domain to their corresponding range values.

    returns

    A Scala Map that is equivalent to this function

    Definition Classes
    IndexFunction
  28. def toString(): String

    Definition Classes
    Function1 → AnyRef → Any
  29. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  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( ... )

Inherited from IndexFunction[V]

Inherited from Serializable

Inherited from Serializable

Inherited from PartialFunction[Int, V]

Inherited from (Int) ⇒ V

Inherited from AnyRef

Inherited from Any

Ungrouped