Packages

case class NextSample(p: FiniteDistribution[Term], ded: FineDeducer = FineDeducer(), vars: Vector[Term] = Vector(), size: Int = 1000, derTotalSize: Int = 1000, epsilon: Double = 0.2, inertia: Double = 0.3) extends Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NextSample
  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 NextSample(p: FiniteDistribution[Term], ded: FineDeducer = FineDeducer(), vars: Vector[Term] = Vector(), size: Int = 1000, derTotalSize: Int = 1000, epsilon: Double = 0.2, inertia: Double = 0.3)

Value Members

  1. def buf: BufferedRun[NextSample]
  2. val ded: FineDeducer
  3. lazy val derFDs: Map[Term, (FiniteDistribution[Term], FiniteDistribution[Typ[Term]])]

    Finite distributions as derivatives at nextFD of the atomic tangent vectors with chosen sample sizes.

  4. lazy val derSamplesSizes: Map[Term, Int]

    Sample sizes for tangents at atomic vectors

  5. val derTotalSize: Int
  6. def derivativeFD(p: FiniteDistribution[Term], n: Int): FiniteDistribution[Term]
  7. def derivativePD(tang: FiniteDistribution[Term]): ProbabilityDistribution[Term]
  8. val epsilon: Double
  9. lazy val feedBacks: Map[Term, Double]
  10. val inertia: Double
  11. lazy val init: ProbabilityDistribution[Term]
  12. def iter: Iterator[NextSample]
  13. lazy val nextFD: FiniteDistribution[Term]
  14. lazy val nextSamp: Map[Term, Int]
  15. lazy val nextTypFD: FiniteDistribution[Typ[Term]]
  16. lazy val nextTypSamp: Map[Term, Int]
  17. val p: FiniteDistribution[Term]
  18. def productElementNames: Iterator[String]
    Definition Classes
    Product
  19. def shiftedFD(epsilon: Double): FiniteDistribution[Term]
  20. val size: Int
  21. lazy val succ: NextSample
  22. lazy val succFD: FiniteDistribution[Term]
  23. lazy val thmFeedback: TheoremFeedback
  24. val vars: Vector[Term]