Packages

case class ProofEntropies(gens: Map[Term, Double], theorems: Map[Typ[Term], Double], proofs: Map[Term, Double], genWeight: Double) extends Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ProofEntropies
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. 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 ProofEntropies(gens: Map[Term, Double], theorems: Map[Typ[Term], Double], proofs: Map[Term, Double], genWeight: Double)

Value Members

  1. def addGen(x: Term, p: Double): ProofEntropies
  2. def gainRatio(x: Term, p: Double): Double
  3. val genEnt: Double
  4. def genEntDiff(x: Term, p: Double): Double
  5. val genWeight: Double
  6. val gens: Map[Term, Double]
  7. val kl: Double
  8. def klDiff(x: Term, p: Double): Double
  9. def productElementNames: Iterator[String]
    Definition Classes
    Product
  10. def proofWeight(thm: Typ[Term]): Double
  11. val proofs: Map[Term, Double]
  12. val theorems: Map[Typ[Term], Double]
  13. val thmSet: Set[Typ[Term]]