Packages

case class ParMapState(termDist: ParMap[Term, Double], typDist: ParMap[Typ[Term], Double], vars: Vector[Term] = Vector(), inds: ParMap[ExstInducDefn, Double] = ParMap(), goalDist: ParMap[Typ[Term], Double] = ParMap(), context: Context = Context.Empty) extends Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ParMapState
  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 ParMapState(termDist: ParMap[Term, Double], typDist: ParMap[Typ[Term], Double], vars: Vector[Term] = Vector(), inds: ParMap[ExstInducDefn, Double] = ParMap(), goalDist: ParMap[Typ[Term], Double] = ParMap(), context: Context = Context.Empty)

Value Members

  1. def addVar(typ: Typ[Term], varWeight: Double): (ParMapState, Term)
  2. val context: Context
  3. lazy val funcDist: ParMap[ExstFunc, Double]
  4. lazy val funcWithDomDist: ParMap[Typ[Term], ParMap[ExstFunc, Double]]
  5. val goalDist: ParMap[Typ[Term], Double]
  6. def inIsle(x: Term): ParMapState
  7. val inds: ParMap[ExstInducDefn, Double]
  8. lazy val inducStrucs: ParMap[ExstInducStrucs, Double]
  9. def productElementNames: Iterator[String]
    Definition Classes
    Product
  10. val termDist: ParMap[Term, Double]
  11. lazy val termWithTypDist: ParMap[Typ[Term], ParMap[Term, Double]]
  12. lazy val thmsWithProofs: ParIterable[(Typ[Term], Double, (Term, Double))]
  13. val typDist: ParMap[Typ[Term], Double]
  14. lazy val typFamilyDist: ParMap[ExstFunc, Double]
  15. lazy val typTotalMap: ParMap[Typ[Term], Double]
  16. def value[T](randomVar: RandomVar[T]): ParMap[T, Double]
  17. def valueAt[Dom <: HList, T](randomVarFmly: RandomVarFamily[Dom, T], fullArg: Dom): ParMap[T, Double]
  18. val vars: Vector[Term]