Packages

case class ThmEntropies(fd: FiniteDistribution[Term], varNames: Vector[Term] = Vector(), scale: Double = 1.0, thmScale: Double = 0.3, thmTarget: Double = 0.2) extends Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ThmEntropies
  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 ThmEntropies(fd: FiniteDistribution[Term], varNames: Vector[Term] = Vector(), scale: Double = 1.0, thmScale: Double = 0.3, thmTarget: Double = 0.2)

Value Members

  1. lazy val byProof: FiniteDistribution[Typ[Term]]
  2. lazy val byStatement: FiniteDistribution[Typ[Term]]
  3. lazy val byStatementUnscaled: FiniteDistribution[Typ[Term]]
  4. lazy val entropyPairs: Vector[(Typ[Term], (Double, Double))]
  5. val fd: FiniteDistribution[Term]
  6. def feedbackFunction(x: Typ[Term]): Double
  7. lazy val feedbackMap: Map[Typ[Term], Double]
  8. def feedbackTermDist(fd: FiniteDistribution[Term]): Double
  9. def feedbackTypDist(fd: FiniteDistribution[Typ[Term]]): Double
  10. lazy val feedbackVec: Vector[(Typ[Term], Double)]
  11. lazy val lfd: FiniteDistribution[Term]
  12. lazy val pfd: FiniteDistribution[Typ[Term]]
  13. def productElementNames: Iterator[String]
    Definition Classes
    Product
  14. val scale: Double
  15. lazy val tfd: FiniteDistribution[Typ[Term]]
  16. def thmFeedbackFunction(x: Term): Double
  17. val thmScale: Double
  18. lazy val thmSet: Set[Typ[Term]]
  19. lazy val thmShift: Double
  20. val thmTarget: Double
  21. lazy val thmTotal: Double
  22. val varNames: Vector[Term]
  23. val vars: Vector[Weighted[Term]]