Packages

case class BasicDeducer(applnWeight: Double = 0.2, lambdaWeight: Double = 0.2, piWeight: Double = 0.2, varWeight: Double = 0.3, vars: Vector[Term] = Vector()) extends Product with Serializable

Self Type
BasicDeducer
Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BasicDeducer
  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 BasicDeducer(applnWeight: Double = 0.2, lambdaWeight: Double = 0.2, piWeight: Double = 0.2, varWeight: Double = 0.3, vars: Vector[Term] = Vector())

Value Members

  1. val applnWeight: Double
  2. def derApplnArg(rec: => (FiniteDistribution[Term]) => (ProbabilityDistribution[Term]) => ProbabilityDistribution[Term])(p: ProbabilityDistribution[Term]): (FiniteDistribution[Term]) => ProbabilityDistribution[Option[Term]]
  3. def derApplnFunc(rec: => (FiniteDistribution[Term]) => (ProbabilityDistribution[Term]) => ProbabilityDistribution[Term])(p: ProbabilityDistribution[Term]): (FiniteDistribution[Term]) => ProbabilityDistribution[Option[Term]]
  4. def derFunc(base: FiniteDistribution[Term])(pd: ProbabilityDistribution[Term]): ProbabilityDistribution[Term]
  5. def derLambdaVal(varweight: Double)(rec: => (FiniteDistribution[Term]) => (ProbabilityDistribution[Term]) => ProbabilityDistribution[Term])(p: ProbabilityDistribution[Term]): (FiniteDistribution[Term]) => ProbabilityDistribution[Option[Term]]

    generating optionally as lambdas, with function and argument generated recursively; to be mixed in using <+?>

  6. def derLambdaVar(varweight: Double)(rec: => (FiniteDistribution[Term]) => (ProbabilityDistribution[Term]) => ProbabilityDistribution[Term])(p: ProbabilityDistribution[Term]): (FiniteDistribution[Term]) => ProbabilityDistribution[Option[Term]]

    generating optionally as lambdas, with function and argument generated recursively; to be mixed in using <+?>

  7. def derPiVal(varweight: Double)(rec: => (FiniteDistribution[Term]) => (ProbabilityDistribution[Term]) => ProbabilityDistribution[Term])(p: ProbabilityDistribution[Term]): (FiniteDistribution[Term]) => ProbabilityDistribution[Option[Term]]

    generating optionally as pi's, with function and argument generated recursively; to be mixed in using <+?>

  8. def derPiVar(varweight: Double)(rec: => (FiniteDistribution[Term]) => (ProbabilityDistribution[Term]) => ProbabilityDistribution[Term])(p: ProbabilityDistribution[Term]): (FiniteDistribution[Term]) => ProbabilityDistribution[Option[Term]]

    generating optionally as pi's, with function and argument generated recursively; to be mixed in using <+?>

  9. def func(pd: ProbabilityDistribution[Term]): ProbabilityDistribution[Term]
  10. def hDerFunc(sc: Double)(base: FiniteDistribution[Term])(pd: ProbabilityDistribution[Term]): ProbabilityDistribution[Term]
  11. def hFunc(sc: Double)(pd: ProbabilityDistribution[Term]): ProbabilityDistribution[Term]
  12. def hSc(sc: Double): BasicDeducer
  13. def lambdaDistOpt(base: FiniteDistribution[Term])(x: Term): Option[FiniteDistribution[Term]]
  14. val lambdaWeight: Double
  15. def piDistOpt(base: FiniteDistribution[Term])(x: Term): Option[FiniteDistribution[Term]]
  16. val piWeight: Double
  17. def productElementNames: Iterator[String]
    Definition Classes
    Product
  18. val varWeight: Double
  19. val vars: Vector[Term]