Packages

c

provingground.learning

GenMonixFiniteDistributionEq

abstract class GenMonixFiniteDistributionEq[State] extends AnyRef

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

Abstract Value Members

  1. abstract def nodeDist[Y](initState: State, maxDepth: Option[Int], halted: => Boolean, memo: EqDistMemo[State])(generatorNode: GeneratorNode[Y], epsilon: Double, coeff: Expression): Task[(FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]

Concrete Value Members

  1. def mapsSum[X, Y](first: Map[X, (FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])], second: Map[X, (FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]): Map[X, (FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]
  2. def nodeCoeffDist[Y](initState: State, maxDepth: Option[Int], halted: => Boolean, memo: EqDistMemo[State])(nodeCoeffs: NodeCoeffs[State, Double, HNil, Y], epsilon: Double, rv: RandomVar[Y]): Task[(FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]
  3. def nodeCoeffFamilyDist[Dom <: HList, Y](initState: State, maxDepth: Option[Int], halted: => Boolean, memo: EqDistMemo[State])(nodeCoeffs: NodeCoeffs[State, Double, Dom, Y], epsilon: Double)(arg: Dom): Task[(FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]
  4. def nodeFamilyDistFunc[Dom <: HList, Y](initState: State, maxDepth: Option[Int], halted: => Boolean, memo: EqDistMemo[State])(generatorNodeFamily: GeneratorNodeFamily[Dom, Y], epsilon: Double)(arg: Dom): Task[(FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]
  5. def varDist[Y](initState: State, maxDepth: Option[Int], halted: => Boolean, memo: EqDistMemo[State] = EqDistMemo.empty[State])(randomVar: RandomVar[Y], epsilon: Double): Task[(FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]

    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

  6. def varFamilyDistFunc[RDom <: HList, Y](initState: State, maxDepth: Option[Int], halted: => Boolean, memo: EqDistMemo[State])(randomVarFmly: RandomVarFamily[RDom, Y], epsilon: Double)(arg: RDom): Task[(FiniteDistribution[Y], Set[EquationNode], EqDistMemo[State])]