Packages

object TermEvolver

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

Type Members

  1. implicit class TPOps[A] extends AnyRef

Value Members

  1. def allTheorems(fd: FiniteDistribution[Term], n: Int = 25): Vector[Weighted[Typ[Term]]]
  2. def justTerm[U <: Term with Subs[U]](x: U): Term
  3. def theorems(fd: FiniteDistribution[Term]): FiniteDistribution[Typ[Term]]
  4. def toFD[A](sample: Map[A, Int]): FiniteDistribution[A]
  5. def topTheorems(fd: FiniteDistribution[Term], n: Int = 25): Vector[Weighted[Typ[Term]]]
  6. def total[A](x: Vector[(A, Int)]): Int