case class TermLearner[F](supp: EvolverSupport, prob: (EvolverVariables) => F, apInv: ApplnInverse)(implicit evidence$3: Field[F], evidence$4: Trig[F]) extends EvolverEquations[F] with Product with Serializable
- Alphabetic
- By Inheritance
- TermLearner
- Serializable
- Product
- Equals
- EvolverEquations
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new TermLearner(supp: EvolverSupport, prob: (EvolverVariables) => F, apInv: ApplnInverse)(implicit arg0: Field[F], arg1: Trig[F])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toany2stringadd[TermLearner[F]] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (TermLearner[F], B)
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toArrowAssoc[TermLearner[F]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val apInv: ApplnInverse
- def appl: F
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- lazy val consistencyCost: F
a cost associated to a lack of consistency of the probabilities.
a cost associated to a lack of consistency of the probabilities.
- Definition Classes
- EvolverEquations
- lazy val consistencyEquations: Vector[(F, F)]
all the equations for consistency of final probabilities in all contexts as well as the total initial probability being 1.
all the equations for consistency of final probabilities in all contexts as well as the total initial probability being 1.
- Definition Classes
- EvolverEquations
- def contextConsistency(context: Vector[Term]): Vector[(F, F)]
all the equations for consistency of the final distribution for a context
all the equations for consistency of the final distribution for a context
- Definition Classes
- EvolverEquations
- def cost(cnstWt: Double, evWt: Double, klWt: Double, hWt: Double): F
the total cost, including consistency and entropies
- def ensuring(cond: (TermLearner[F]) => Boolean, msg: => Any): TermLearner[F]
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toEnsuring[TermLearner[F]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (TermLearner[F]) => Boolean): TermLearner[F]
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toEnsuring[TermLearner[F]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): TermLearner[F]
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toEnsuring[TermLearner[F]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): TermLearner[F]
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toEnsuring[TermLearner[F]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- lazy val evolutionCost: F
cost due to mismatch in the recursive generation equations.
- lazy val evolutionEquations: Vector[(F, F)]
equations for final probabilities being as generated
- implicit val field: Field[F]
- Definition Classes
- EvolverEquations
- def finalProb(t: Term, context: Vector[Term]): F
probability of
tin the final distribution given a context, this gives the image of the variable obtained by normalizing to a basis contextprobability of
tin the final distribution given a context, this gives the image of the variable obtained by normalizing to a basis context- Definition Classes
- EvolverEquations
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toStringFormat[TermLearner[F]] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- def fromAppl(t: Term, context: Vector[Term]): F
recursive probability that a term is generated by function application
- def fromIsland(t: Term, context: Vector[Term]): F
recursive probability that a term is generated from an island, either lambda or pi; the normalization of the context is done in finalProb
- def fromUnApp(t: Term, context: Vector[Term]): F
recursive probability that a term is generated by unified application
- lazy val genEntropy: F
the entropy of the generating distribution
the entropy of the generating distribution
- Definition Classes
- EvolverEquations
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hasTyp(typ: Typ[Term], context: Vector[Term]): F
probability that a term has given type in the final distribution of a context
probability that a term has given type in the final distribution of a context
- Definition Classes
- EvolverEquations
- def hasTypProb(typ: Typ[Term], context: Vector[Term]): (F, F)
equation saying that the sum of the probabilities of terms with a given type is the probability of the event variable for terms having this type in the probability distribution of a context
equation saying that the sum of the probabilities of terms with a given type is the probability of the event variable for terms having this type in the probability distribution of a context
- Definition Classes
- EvolverEquations
- def initContextProb(t: Term, context: Vector[Term]): F
probability of a term in the initial distribution in a context
- def initProb(t: Term): F
probability of
tin the initial distributionprobability of
tin the initial distribution- Definition Classes
- EvolverEquations
- def initWeight: F
- def isFuncP(context: Vector[Term]): F
probability that a term is a function in the final distribution of a context
probability that a term is a function in the final distribution of a context
- Definition Classes
- EvolverEquations
- def isFuncProb(context: Vector[Term]): (F, F)
equation saying that the sum of the probabilities of terms that are functions is the probability of the event variable for terms being functions in the probability distribution of a context
equation saying that the sum of the probabilities of terms that are functions is the probability of the event variable for terms being functions in the probability distribution of a context
- Definition Classes
- EvolverEquations
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isTypP(context: Vector[Term]): F
probability that a term is a type in the final distribution of a context
probability that a term is a type in the final distribution of a context
- Definition Classes
- EvolverEquations
- def isTypProb(context: Vector[Term]): (F, F)
equation saying that the sum of the probabilities of terms that are types is the probability of the event variable for terms being types in the probability distribution of a context
equation saying that the sum of the probabilities of terms that are types is the probability of the event variable for terms being types in the probability distribution of a context
- Definition Classes
- EvolverEquations
- lazy val kullbackLeibler: F
the Kullback-Liebler divergence of the proof probabilities from the theorem probabilities
the Kullback-Liebler divergence of the proof probabilities from the theorem probabilities
- Definition Classes
- EvolverEquations
- def lambdaWeight: F
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def piWeight: F
- val prob: (EvolverVariables) => F
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def proofProb(thm: Typ[Term]): F
total probability of the proof of a theorem
total probability of the proof of a theorem
- Definition Classes
- EvolverEquations
- def recValue(t: Term, context: Vector[Term]): F
total recursive probability from a simple generative model
- val supp: EvolverSupport
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def thmProb(thm: Typ[Term]): F
probability of a theorem as the probability of its type conditioned on the type being inhabited
probability of a theorem as the probability of its type conditioned on the type being inhabited
- Definition Classes
- EvolverEquations
- def totFinalProb(terms: Set[Term], context: Vector[Term]): F
total final probability in context
total final probability in context
- Definition Classes
- EvolverEquations
- lazy val totInitProbOne: (F, F)
the equation saying that the total initial probability is 1.
the equation saying that the total initial probability is 1.
- Definition Classes
- EvolverEquations
- def totProbOne(context: Vector[Term]): (F, F)
the equation saying that the total probability in the final distribution of a context is 1.
the equation saying that the total probability in the final distribution of a context is 1.
- Definition Classes
- EvolverEquations
- lazy val totThmProb: F
total probability of all theorems
total probability of all theorems
- Definition Classes
- EvolverEquations
- def unApp: F
- def varWeight: F
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def →[B](y: B): (TermLearner[F], B)
- Implicit
- This member is added by an implicit conversion from TermLearner[F] toArrowAssoc[TermLearner[F]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.