Packages

trait TermsTypThms extends AnyRef

Self Type
TermsTypThms
Linear Supertypes
AnyRef, Any
Known Subclasses
TermState
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermsTypThms
  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

Abstract Value Members

  1. abstract val context: Context
  2. abstract val goals: FiniteDistribution[Typ[Term]]
  3. abstract val inds: FiniteDistribution[ExstInducDefn]
  4. abstract val terms: FiniteDistribution[Term]
  5. abstract val typs: FiniteDistribution[Typ[Term]]
  6. abstract val vars: Vector[Term]

Concrete Value Members

  1. lazy val goalSet: Set[Typ[Term]]
  2. def goalThmsBySt(goalW: Double): FiniteDistribution[Typ[Term]]
  3. def json: Obj
  4. def tangent(xs: Term*): TermsTypThms
  5. lazy val termSet: Set[Term]
  6. lazy val termTypsSet: Set[Typ[U] forSome {type U >: x$1.type <: Term with Subs[U], val x$1: Term}]
  7. lazy val thmWeights: Vector[(Typ[Term], Double, Double, Double)]
  8. lazy val thmsByPf: FiniteDistribution[Typ[Term]]
  9. lazy val thmsBySt: FiniteDistribution[Typ[Term]]
  10. lazy val typSet: Set[Typ[Term]]