Packages

object HoTTPost

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HoTTPost
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class Apex[P](base: P) extends Product with Serializable
  2. case class HoTTPostData(number: Int, posts: Vector[(PostData[_, HoTTPost, ID], ID, Set[ID])]) extends Product with Serializable
  3. type ID = (Int, Int)
  4. case class IsleNormalizedEquationNodes(eqn: Set[EquationNode]) extends Product with Serializable
  5. case class TunedLocalProver(lp: LocalProver) extends Product with Serializable

Value Members

  1. def allPostFullData(web: HoTTPost): Vector[(PostData[_, HoTTPost, ID], ID, Set[ID])]
  2. lazy val b1: BiPostable[Lemmas, HoTTPost, ID]
  3. lazy val b2: BiPostable[ChompResult, HoTTPost, ID]
  4. lazy val eqnUpdate: PostResponse[HoTTPost, ID]
  5. implicit def equationNodeQuery: Queryable[Set[EquationNode], HoTTPost]
  6. implicit def equationQuery: Queryable[Set[Equation], HoTTPost]
  7. lazy val expEvToEqns: PostResponse[HoTTPost, ID]
  8. def fansiLog(post: PostData[_, HoTTPost, ID]): Future[Unit]
  9. def findInWeb(web: HoTTPost, index: ID): Option[(PostData[_, HoTTPost, ID], Set[ID])]
  10. implicit def hottPostDataQuery: Queryable[HoTTPostData, HoTTPost]
  11. lazy val isleNormalizeEqns: PostResponse[HoTTPost, ID]
  12. lazy val lemmaToTangentProver: PostResponse[HoTTPost, ID]
  13. lazy val lpFromInit: PostResponse[HoTTPost, ID]
  14. lazy val lpFromTG: PostResponse[HoTTPost, ID]
  15. lazy val lpLemmas: PostResponse[HoTTPost, ID]
  16. implicit def lpStepQuery: LocalQueryable[LocalProverStep, HoTTPost, ID]
  17. lazy val lpToChomp: PostResponse[HoTTPost, ID]
  18. lazy val lpToExpEv: PostResponse[HoTTPost, ID]
  19. lazy val lpToTermResult: PostResponse[HoTTPost, ID]
  20. lazy val lptLemmas: PostResponse[HoTTPost, ID]
  21. lazy val lptToExpEv: PostResponse[HoTTPost, ID]
  22. lazy val lptToTermResult: PostResponse[HoTTPost, ID]
  23. def mutWebBuffers(web: HoTTPost): Vector[ErasableWebBuffer[_, ID]]
  24. lazy val normEqnUpdate: PostResponse[HoTTPost, ID]
  25. implicit val postChomp: Postable[ChompResult, HoTTPost, ID]
  26. implicit val postEqnNodes: Postable[Set[EquationNode], HoTTPost, ID]
  27. implicit val postError: Postable[Throwable, HoTTPost, ID]
  28. implicit val postExpEv: Postable[ExpressionEquationSolver, HoTTPost, ID]
  29. implicit val postFinal: Postable[FinalState, HoTTPost, ID]
  30. implicit val postGenEqns: Postable[GeneratedEquationNodes, HoTTPost, ID]
  31. implicit val postHNil: Postable[HNil, HoTTPost, ID]
  32. implicit def postHistory: PostHistory[HoTTPost, ID]
  33. implicit val postInit: Postable[InitState, HoTTPost, ID]
  34. implicit val postIslNrmEqns: Postable[IsleNormalizedEquationNodes, HoTTPost, ID]
  35. implicit val postLP: Postable[LocalProver, HoTTPost, ID]
  36. implicit val postLPT: Postable[LocalTangentProver, HoTTPost, ID]
  37. implicit val postLemmas: Postable[Lemmas, HoTTPost, ID]
  38. implicit val postResult: Postable[TermResult, HoTTPost, ID]
  39. implicit val postTg: Postable[TermGenParams, HoTTPost, ID]
  40. implicit def postToLeaves[P](implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[P], bp: Postable[P, HoTTPost, ID], dg: DataGetter[P, HoTTPost, ID]): Postable[Apex[P], HoTTPost, ID]
  41. implicit val postTunedLP: Postable[TunedLocalProver, HoTTPost, ID]
  42. implicit val postUnit: Postable[Unit, HoTTPost, ID]
  43. lazy val recomputeFromInit: PostResponse[HoTTPost, ID]
  44. implicit val repPost: Postable[Map[Variable[_], Vector[Double]], HoTTPost, ID]
  45. def skipDeleted(web: HoTTPost, id: ID): Set[ID]
  46. def skipDeletedStep(web: HoTTPost, id: ID): Option[Set[ID]]
  47. implicit val someInitQuery: LatestAnswer[Some[InitState], HoTTPost, ID]
  48. implicit val someTGQuery: LatestAnswer[Some[TermGenParams], HoTTPost, ID]
  49. lazy val termResultToChomp: PostResponse[HoTTPost, ID]
  50. lazy val termResultToEquations: PostResponse[HoTTPost, ID]
  51. implicit def termSetQuery: Queryable[Set[Term], HoTTPost]
  52. def testGet: PostHistory[HoTTPost, ID]
  53. lazy val tuneLP: PostResponse[HoTTPost, ID]