Packages

case class Island[Y, InitState, O, Boat](output: RandomVar[Y], islandOutput: (Boat) => RandomVar[O], initMap: (InitState) => (Double) => (InitState, Boat), export: (Boat, O) => Y, finalMap: (Boat, InitState) => InitState) extends RecursiveGeneratorNode[InitState, Y] with Product with Serializable

An island, i.e., a full map from initial state to all required distributions, which is used in recursive definitions where we recurse on not just the final state but also the dynamics. One enters the island using a boat which is returned, and must exit by the same boat.

Y

the scala type of the island output

InitState

the initial state

O

the scala type of the final output

Boat

scala type of the boat

output

the final output, as seen from the outside

islandOutput

the variable whose distribution from the island is used

initMap

the map from the initial state on the outside to the initial state in the island

export

the object (e.g. term) level map applied when mapping a distribution obtained in the island to the outside; this is specific to the island

Linear Supertypes
Serializable, Product, Equals, RecursiveGeneratorNode[InitState, Y], RecursiveGeneratorNodeFamily[HNil, InitState, Y], GeneratorNode[Y], GeneratorNodeFamily[HNil, Y], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Island
  2. Serializable
  3. Product
  4. Equals
  5. RecursiveGeneratorNode
  6. RecursiveGeneratorNodeFamily
  7. GeneratorNode
  8. GeneratorNodeFamily
  9. AnyRef
  10. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Island(output: RandomVar[Y], islandOutput: (Boat) => RandomVar[O], initMap: (InitState) => (Double) => (InitState, Boat), export: (Boat, O) => Y, finalMap: (Boat, InitState) => InitState)

    output

    the final output, as seen from the outside

    islandOutput

    the variable whose distribution from the island is used

    initMap

    the map from the initial state on the outside to the initial state in the island

    export

    the object (e.g. term) level map applied when mapping a distribution obtained in the island to the outside; this is specific to the island

Value Members

  1. val export: (Boat, O) => Y
  2. val finalMap: (Boat, InitState) => InitState
  3. val initMap: (InitState) => (Double) => (InitState, Boat)
  4. val islandOutput: (Boat) => RandomVar[O]
  5. val output: RandomVar[Y]
    Definition Classes
    Island → GeneratorNode
  6. val outputFamily: RandomVar[Y]

    the family of random variables for which this is a generation.

    the family of random variables for which this is a generation.

    Definition Classes
    GeneratorNode → GeneratorNodeFamily
  7. def pi[D, S >: Y, T](conditionFamily: (D) => Sort[S, T], outputFamily: RandomVarFamily[::[D, HNil], T]): GeneratorNodeFamily[::[D, HNil], T]
    Definition Classes
    GeneratorNode
  8. def piFmly[Dom <: HList, S >: Y, T](conditionFamily: (Dom) => Sort[S, T], outputFamily: RandomVarFamily[Dom, T]): GeneratorNodeFamily[Dom, T]
    Definition Classes
    GeneratorNode
  9. def productElementNames: Iterator[String]
    Definition Classes
    Product
  10. def |[S >: Y, T](condition: Sort[S, T], output: RandomVar[T]): GeneratorNode[T]
    Definition Classes
    GeneratorNode