Packages

class TermBucket extends AnyRef

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

Value Members

  1. def append(t: Term): Unit
  2. def clear(): Unit
  3. def clearAll(): Unit
  4. def elapsedTime: Long
  5. def getTermDistMap: Map[Typ[Term], FiniteDistribution[Term]]

    finite distribution of terms with a given type (total not 1, but weight of type)

  6. def getTheorems: FiniteDistribution[Typ[Term]]

    inhabited types (i.e.

    inhabited types (i.e. theorems) weighted by their frequency of generation as terms, normalized to account for most types not being theorems

  7. def getThmsByProofs: FiniteDistribution[Typ[Term]]

    theorems weighted by the total weight of their prooofs

  8. def getTypDist: FiniteDistribution[Typ[Term]]

    types weighted by their frequency of generation as terms

  9. var loops: Int
  10. var startTime: Long
  11. val termTypes: Map[Typ[Term], Long]

    number of terms of a given type

  12. val terms: Map[Typ[Term], Vector[Term]]

    terms counted, sorted by types

  13. var tot: Long
  14. val types: Map[Typ[Term], Long]

    count of generation of a type (as a term)