Packages

c

provingground.learning

GenMonixFiniteDistribution

abstract class GenMonixFiniteDistribution[State] extends AnyRef

Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GenMonixFiniteDistribution
  2. AnyRef
  3. 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 GenMonixFiniteDistribution(nodeCoeffSeq: NodeCoeffSeq[State, Double])(implicit sd: StateDistribution[State, FiniteDistribution])

Abstract Value Members

  1. abstract def nodeDist[Y](initState: State)(generatorNode: GeneratorNode[Y], epsilon: Double): Task[FiniteDistribution[Y]]

Concrete Value Members

  1. def mapsSum[X, Y](first: Map[X, FiniteDistribution[Y]], second: Map[X, FiniteDistribution[Y]]): Map[X, FiniteDistribution[Y]]
  2. def nodeCoeffDist[Y](initState: State)(nodeCoeffs: NodeCoeffs[State, Double, HNil, Y], epsilon: Double): Task[FiniteDistribution[Y]]
  3. def nodeCoeffFamilyDist[Dom <: HList, Y](initState: State)(nodeCoeffs: NodeCoeffs[State, Double, Dom, Y], epsilon: Double)(arg: Dom): Task[FiniteDistribution[Y]]
  4. def nodeFamilyDist[Dom <: HList, Y](initState: State)(generatorNodeFamily: GeneratorNodeFamily[Dom, Y], baseDist: Task[FiniteDistribution[Dom]], epsilon: Double): Task[Map[Dom, FiniteDistribution[Y]]]
  5. def nodeFamilyDistFunc[Dom <: HList, Y](initState: State)(generatorNodeFamily: GeneratorNodeFamily[Dom, Y], epsilon: Double)(arg: Dom): Task[FiniteDistribution[Y]]
  6. def varDist[Y](initState: State)(randomVar: RandomVar[Y], epsilon: Double, limit: FiniteDuration = 3.minutes): Task[FiniteDistribution[Y]]

    finite distribution for a random variable

    finite distribution for a random variable

    Y

    values of the random variable

    initState

    initial state

    randomVar

    random variable whose distribution is returned

    epsilon

    cutoff

    returns

    finite distribution for the given random variable

  7. def varFamilyDistFunc[RDom <: HList, Y](initState: State)(randomVarFmly: RandomVarFamily[RDom, Y], epsilon: Double)(arg: RDom): Task[FiniteDistribution[Y]]
  8. def varListDist[Dom <: HList](initState: State)(vl: RandomVarList[Dom], epsilon: Double): Task[FiniteDistribution[Dom]]

    finite distribution for a list of random variables

    finite distribution for a list of random variables

    Dom

    the HList giving the type of the variable list

    initState

    initial state

    vl

    list of random variables

    epsilon

    cutoff

    returns

    finite distribution of Dom