final class ProjectionIndexer[C, F] extends (Int) ⇒ Int with Serializable
For computing projections from a fine grammar to a coarse grammar.
There are two indexes maintained for the fine symbols: a globally unique id, and a local per-symbol id (in the range 0...numRefinements(coarseSym).
Yuck.
- Annotations
- @SerialVersionUID()
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ProjectionIndexer
- Serializable
- Serializable
- Function1
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
andThen[A](g: (Int) ⇒ A): (Int) ⇒ A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
def
apply(f: Int): Int
Same as project(f)
Same as project(f)
- Definition Classes
- ProjectionIndexer → Function1
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- val coarseEncoder: Encoder[C]
- val coarseIndex: Index[C]
- def coarseSymbol(f: Int): C
-
def
compose[F2](finerProjections: ProjectionIndexer[F, F2]): ProjectionIndexer[C, F2]
From a PI[C, F] and a PI[F, F2], makes a PI[C, F2]
-
def
compose[A](g: (A) ⇒ Int): (A) ⇒ Int
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- val fineIndex: Index[F]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- val globalRefinements: Array[Array[Int]]
- def globalize(c: C, f: Int): F
- def globalize(c: Int, f: Int): Int
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- def indexAndLocalize(f: F): (Int, Int)
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def localRefinements(c: Int): Array[Int]
- val localizationArray: Array[Int]
- def localize(f: F): (C, Int)
- def localize(f: Int): Int
- def localizeArray[T](array: Array[T])(implicit arg0: ClassTag[T]): Array[Array[T]]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- def numRefinements(c: Int): Int
- val perSymbolRefinements: Array[Array[Int]]
- def project(f: F): C
-
def
project(f: Int): Int
Computes the projection of the indexed fine label f to an indexed coarse label.
- def refinementsOf(c: C): IndexedSeq[F]
- def refinementsOf(c: Int): Array[Int]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- ProjectionIndexer → Function1 → AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )