Packages

class TermEvolutionStep[X[_]] extends AnyRef

Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermEvolutionStep
  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 TermEvolutionStep(p: FiniteDistribution[Term], ev: TermEvolution = new TermEvolver(), param: Param = TermEvolutionStep.Param())(implicit samp: TangSamples[X])

Value Members

  1. def derFDX(vec: Vector[(FiniteDistribution[Term], Int)]): X[Vector[(FiniteDistribution[Term], (FiniteDistribution[Term], FiniteDistribution[Typ[Term]]))]]
  2. def derivativeFD(tang: FiniteDistribution[Term], n: Int): X[FiniteDistribution[Term]]
  3. lazy val derivativeFDs: X[Vector[(FiniteDistribution[Term], (FiniteDistribution[Term], FiniteDistribution[Typ[Term]]))]]
  4. def derivativePD(tang: FiniteDistribution[Term]): ProbabilityDistribution[Term]
  5. def derivativeTypsFD(tang: FiniteDistribution[Term], n: Int): X[FiniteDistribution[Typ[Term]]]
  6. lazy val feedBacks: X[Vector[(FiniteDistribution[Term], Double)]]
  7. lazy val init: ProbabilityDistribution[Term]
  8. def newp(np: FiniteDistribution[Term]): TermEvolutionStep[[_]X[_]]
  9. def next: X[TermEvolutionStep[X]]
  10. lazy val nextFD: X[FiniteDistribution[Term]]
  11. lazy val nextTypFD: X[FiniteDistribution[Typ[Term]]]
  12. val p: FiniteDistribution[Term]
  13. val param: Param
  14. implicit val samp: TangSamples[X]
  15. lazy val succ: X[TermEvolutionStep[X]]
  16. lazy val succFD: X[FiniteDistribution[Term]]
  17. lazy val tangSamples: X[Vector[(FiniteDistribution[Term], Int)]]
  18. lazy val thmFeedback: X[TheoremFeedback]