Packages

abstract class TermNodeCoeffSeq[State] extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
TermGenParams
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermNodeCoeffSeq
  2. AnyRef
  3. 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 TermNodeCoeffSeq(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)

Abstract Value Members

  1. abstract val Gen: TermGeneratorNodes[State]

Concrete Value Members

  1. lazy val funcForCodNodes: NodeCoeffs[State, Double, ::[Typ[Term], HNil], Term]
  2. lazy val funcNodes: NodeCoeffs[State, Double, HNil, ExstFunc]
  3. lazy val funcWithDomNodes: NodeCoeffs[State, Double, ::[Typ[Term], HNil], ExstFunc]
  4. lazy val goalNodes: NodeCoeffs[State, Double, HNil, Typ[Term]]
  5. lazy val inducDomainNodes: NodeCoeffs[State, Double, ::[ExstInducDefn, HNil], Term]
  6. lazy val inducNodes: NodeCoeffs[State, Double, HNil, ExstInducDefn]
  7. lazy val isleDomainsNode: NodeCoeffs[State, Double, HNil, Typ[Term]]
  8. lazy val nodeCoeffSeq: NodeCoeffSeq[State, Double]
  9. lazy val targTypNodes: NodeCoeffs[State, Double, HNil, Term]
  10. val termInit: Double
  11. lazy val termNodes: NodeCoeffs[State, Double, HNil, Term]
  12. lazy val termsByTypNodes: NodeCoeffs[State, Double, ::[Typ[Term], HNil], Term]
  13. lazy val typFamilyNodes: NodeCoeffs[State, Double, HNil, ExstFunc]
  14. val typInit: Double
  15. lazy val typNodes: NodeCoeffs[State, Double, HNil, Typ[Term]]
  16. lazy val typOrFmlyNodes: NodeCoeffs[State, Double, HNil, Term]