Packages

object FineDeducerStep

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

Type Members

  1. case class Param(vars: Vector[Term] = Vector(), size: Int = 10000, derTotalSize: Int = 100000, inertia: Double = 0.9, scale: Double = 1.0, thmScale: Double = 0.3, thmTarget: Double = 0.2) extends Product with Serializable

Value Members

  1. def obserEv(p: FiniteDistribution[Term], fd: FineDeducer = new FineDeducer(), param: Param = Param())(implicit ms: MonixSamples): Observable[FineDeducerStep[Task]]

    Monix observable of the full evolution for the distribution of terms, for debugging etc.

  2. def observable(p: FiniteDistribution[Term], fd: FineDeducer = new FineDeducer(), param: Param = Param())(implicit ms: MonixSamples): Observable[FiniteDistribution[Term]]

    Monix observable for the evolution of a distribution of terms