Packages

case class ParTermState(ts: TermState) extends Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ParTermState
  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 ParTermState(ts: TermState)

Value Members

  1. lazy val domTotals: ParMap[ExstFunc, Double]
  2. def elemVal(elem: Any, randomVar: RandomVar[_]): Double
  3. lazy val funcDistMap: ParMap[ExstFunc, Double]
  4. lazy val funcsWithDomsMap: ParMap[Typ[Term], ParMap[ExstFunc, Double]]
  5. lazy val lemmasPar: Vector[(Typ[Term], Option[Term], Double)]
  6. def productElementNames: Iterator[String]
    Definition Classes
    Product
  7. lazy val termDistMap: ParMap[Term, Double]
  8. lazy val termsWithTypsMap: ParMap[Typ[Term], ParMap[Term, Double]]
  9. lazy val thmsByPfParMap: ParMap[Typ[Term], Double]
  10. lazy val thmsByStParMap: ParMap[Typ[Term], Double]
  11. lazy val thmsSet: ParSet[Typ[Term]]
  12. val ts: TermState
  13. lazy val typDistMap: ParMap[Typ[Term], Double]
  14. lazy val typFamilyDistMap: ParMap[ExstFunc, Double]