Packages

case class TermGenParams(appW: Double = 0.1, unAppW: Double = 0.1, argAppW: Double = 0.1, lmW: Double = 0.1, piW: Double = 0.1, piTermW: Double = 0, termsByTypW: Double = 0.05, typFromFamilyW: Double = 0.05, sigmaW: Double = 0.05, recDefW: Double = 0, inducDefW: Double = 0, typAsCodW: Double = 0.05, targetInducW: Double = 0, varWeight: Double = 0.3, goalWeight: Double = 0.7, typVsFamily: Double = 0.5, negTargetW: Double = 0, solverW: Double = 0, contraW: Double = 0, solver: TypSolver = TypSolver.coreSolver) extends TermNodeCoeffSeq[TermState] with Product with Serializable

Self Type
TermGenParams
Linear Supertypes
Serializable, Product, Equals, TermNodeCoeffSeq[TermState], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermGenParams
  2. Serializable
  3. Product
  4. Equals
  5. TermNodeCoeffSeq
  6. AnyRef
  7. 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 TermGenParams(appW: Double = 0.1, unAppW: Double = 0.1, argAppW: Double = 0.1, lmW: Double = 0.1, piW: Double = 0.1, piTermW: Double = 0, termsByTypW: Double = 0.05, typFromFamilyW: Double = 0.05, sigmaW: Double = 0.05, recDefW: Double = 0, inducDefW: Double = 0, typAsCodW: Double = 0.05, targetInducW: Double = 0, varWeight: Double = 0.3, goalWeight: Double = 0.7, typVsFamily: Double = 0.5, negTargetW: Double = 0, solverW: Double = 0, contraW: Double = 0, solver: TypSolver = TypSolver.coreSolver)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from TermGenParams toany2stringadd[TermGenParams] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (TermGenParams, B)
    Implicit
    This member is added by an implicit conversion from TermGenParams toArrowAssoc[TermGenParams] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. val Gen: TermGeneratorNodes[TermState]
    Definition Classes
    TermGenParams → TermNodeCoeffSeq
  7. val appW: Double
  8. val argAppW: Double
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  11. def coeffVal(cf: Coeff[_]): Option[Double]
  12. val contraW: Double
  13. def ensuring(cond: (TermGenParams) => Boolean, msg: => Any): TermGenParams
    Implicit
    This member is added by an implicit conversion from TermGenParams toEnsuring[TermGenParams] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  14. def ensuring(cond: (TermGenParams) => Boolean): TermGenParams
    Implicit
    This member is added by an implicit conversion from TermGenParams toEnsuring[TermGenParams] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  15. def ensuring(cond: Boolean, msg: => Any): TermGenParams
    Implicit
    This member is added by an implicit conversion from TermGenParams toEnsuring[TermGenParams] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  16. def ensuring(cond: Boolean): TermGenParams
    Implicit
    This member is added by an implicit conversion from TermGenParams toEnsuring[TermGenParams] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def evolvedStateTask(initState: TermState, epsilon: Double, limit: FiniteDuration = 3.minutes): Task[EvolvedState]
  19. def findProof(initState: TermState, typ: Typ[Term], epsilon: Double, limit: FiniteDuration = 3.minutes): Task[FiniteDistribution[Term]]
  20. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from TermGenParams toStringFormat[TermGenParams] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  21. lazy val funcForCodNodes: NodeCoeffs[TermState, Double, ::[Typ[Term], HNil], Term]
    Definition Classes
    TermNodeCoeffSeq
  22. lazy val funcNodes: NodeCoeffs[TermState, Double, HNil, ExstFunc]
    Definition Classes
    TermNodeCoeffSeq
  23. lazy val funcWithDomNodes: NodeCoeffs[TermState, Double, ::[Typ[Term], HNil], ExstFunc]
    Definition Classes
    TermNodeCoeffSeq
  24. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  25. lazy val goalNodes: NodeCoeffs[TermState, Double, HNil, Typ[Term]]
    Definition Classes
    TermNodeCoeffSeq
  26. val goalWeight: Double
  27. val inducDefW: Double
  28. lazy val inducDomainNodes: NodeCoeffs[TermState, Double, ::[ExstInducDefn, HNil], Term]
    Definition Classes
    TermNodeCoeffSeq
  29. lazy val inducNodes: NodeCoeffs[TermState, Double, HNil, ExstInducDefn]
    Definition Classes
    TermNodeCoeffSeq
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. lazy val isleDomainsNode: NodeCoeffs[TermState, Double, HNil, Typ[Term]]
    Definition Classes
    TermNodeCoeffSeq
  32. val lmW: Double
  33. lazy val monixEqFD: MonixFiniteDistributionEq[TermState]
  34. lazy val monixFD: MonixFiniteDistribution[TermState]
  35. def monixTangFD(baseState: TermState): MonixTangentFiniteDistribution[TermState]
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. val negTargetW: Double
  38. def nextStateTask(initState: TermState, epsilon: Double, limit: FiniteDuration = 3.minutes): Task[TermState]
  39. def nextTangStateTask(baseState: TermState, tangState: TermState, epsilon: Double, limit: FiniteDuration = 3.minutes): Task[TermState]
  40. lazy val nodeCoeffSeq: NodeCoeffSeq[TermState, Double]
    Definition Classes
    TermNodeCoeffSeq
  41. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  42. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  43. val piTermW: Double
  44. val piW: Double
  45. def productElementNames: Iterator[String]
    Definition Classes
    Product
  46. val recDefW: Double
  47. val sigmaW: Double
  48. val solver: TypSolver
  49. val solverW: Double
  50. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  51. lazy val targTypNodes: NodeCoeffs[TermState, Double, HNil, Term]
    Definition Classes
    TermNodeCoeffSeq
  52. val targetInducW: Double
  53. val termInit: Double
    Definition Classes
    TermNodeCoeffSeq
  54. lazy val termNodes: NodeCoeffs[TermState, Double, HNil, Term]
    Definition Classes
    TermNodeCoeffSeq
  55. lazy val termsByTypNodes: NodeCoeffs[TermState, Double, ::[Typ[Term], HNil], Term]
    Definition Classes
    TermNodeCoeffSeq
  56. val termsByTypW: Double
  57. val toJson: Value
  58. val typAsCodW: Double
  59. lazy val typFamilyNodes: NodeCoeffs[TermState, Double, HNil, ExstFunc]
    Definition Classes
    TermNodeCoeffSeq
  60. val typFromFamilyW: Double
  61. val typInit: Double
    Definition Classes
    TermNodeCoeffSeq
  62. lazy val typNodes: NodeCoeffs[TermState, Double, HNil, Typ[Term]]
    Definition Classes
    TermNodeCoeffSeq
  63. lazy val typOrFmlyNodes: NodeCoeffs[TermState, Double, HNil, Term]
    Definition Classes
    TermNodeCoeffSeq
  64. val typVsFamily: Double
  65. val unAppW: Double
  66. val varWeight: Double
  67. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  68. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  69. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated
  2. def →[B](y: B): (TermGenParams, B)
    Implicit
    This member is added by an implicit conversion from TermGenParams toArrowAssoc[TermGenParams] 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.

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TermNodeCoeffSeq[TermState]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd fromTermGenParams to any2stringadd[TermGenParams]

Inherited by implicit conversion StringFormat fromTermGenParams to StringFormat[TermGenParams]

Inherited by implicit conversion Ensuring fromTermGenParams to Ensuring[TermGenParams]

Inherited by implicit conversion ArrowAssoc fromTermGenParams to ArrowAssoc[TermGenParams]

Ungrouped