Packages

c

provingground.learning.HoTTMessages

GeneratedEquationNodes

case class GeneratedEquationNodes(eqn: Set[EquationNode], preNormalized: Boolean = false) extends Product with Serializable

Result of generation and normalization

eqn

resulting equation nodes to use

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GeneratedEquationNodes
  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 GeneratedEquationNodes(eqn: Set[EquationNode], preNormalized: Boolean = false)

    eqn

    resulting equation nodes to use

Value Members

  1. val eqn: Set[EquationNode]
  2. lazy val normalized: Set[EquationNode]
  3. val preNormalized: Boolean
  4. def productElementNames: Iterator[String]
    Definition Classes
    Product