Packages

object TermBucket

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermBucket
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def fd(m: Map[Typ[Term], Long], tot: Long): FiniteDistribution[Typ[Term]]
  2. def fdMap[A](m: Map[A, Vector[Term]], tot: Long): Map[A, FiniteDistribution[Term]]
  3. def lambdaDist(vars: Vector[Weighted[Term]], scale: Double)(fd: FiniteDistribution[Term]): FiniteDistribution[Term]
  4. def mkLambda(vars: Vector[Weighted[Term]], scale: Double)(yp: Weighted[Term]): Weighted[Term]
  5. def mkPi(vars: Vector[Weighted[Term]], scale: Double)(yp: Weighted[Typ[Term]]): Weighted[Typ[Term]]
  6. def piDist(vars: Vector[Weighted[Term]], scale: Double)(fd: FiniteDistribution[Typ[Term]]): FiniteDistribution[Typ[Term]]
  7. def toLambda(x: Term, scale: Double): (Weighted[Term]) => Weighted[Term]
  8. def toPi(x: Term, scale: Double): (Weighted[Typ[Term]]) => Weighted[Typ[Term]]