Packages

class ExpressionEquationIndexifier extends AnyRef

Maps equations based on expressions in terms, randomvariables etc. to equations based on indices only, for rapid computation. Also provides some helpers to relate index combinations and expressions.

Linear Supertypes
AnyRef, Any
Known Subclasses
FatExprEquations, IndexEquationMapSolver, IndexEquationSolver, SpireExprEquations, TensorFlowExprEquations, TensorFlowExprVarEquations, TensorFlowFatExprEquations
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExpressionEquationIndexifier
  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 ExpressionEquationIndexifier(initMap: Map[Expression, Double], equationVec: Vector[Equation], params: (Coeff[_]) => Option[Double], initVariables: Vector[Expression] = Vector())

Value Members

  1. lazy val constantEquations: Set[Int]
  2. def equationGradients(v: ParSeq[Double]): ParVector[ParVector[Double]]
  3. val equationVec: Vector[Equation]
  4. def getProd(exp: Expression): ProductIndexExpression
  5. lazy val indexMap: Map[Expression, Int]
  6. lazy val initPar: ParMap[Expression, Double]
  7. lazy val initTermIndices: Vector[Int]
  8. lazy val initTypIndices: Vector[Int]
  9. def mapToIndexMap[V](m: Map[Expression, V]): Map[Int, V]
  10. def nextTraceSet(current: Set[Set[Int]], relativeTo: Set[Int]): Set[Set[Int]]
  11. def nextTraceVector(current: Vector[Vector[Int]]): Vector[Vector[Int]]
  12. val numVars: Int
  13. def orthonormalGradients(v: ParSeq[Double], cutoff: Double = 0.0): ParVector[ParVector[Double]]
  14. def proofData(typ: Typ[Term]): Vector[(Int, Equation)]
  15. lazy val randomVarIndices: ParVector[Vector[Int]]
  16. final def recTraceSet(current: Set[Set[Int]], depth: Int, relativeTo: Set[Int], accum: Set[Set[Int]]): Set[Set[Int]]
    Annotations
    @tailrec()
  17. lazy val rhsExprs: Vector[SumIndexExpression]
  18. lazy val rhsExprsPar: ParVector[SumIndexExpression]
  19. def rhsInvolves(js: Set[Int]): Set[Int]
  20. def simplify(exp: Expression): SumIndexExpression
  21. lazy val size: Int
  22. lazy val termIndexVec: Vector[(Term, Int)]
  23. lazy val termIndices: Vector[Int]
  24. lazy val thmPfIndices: Map[Int, Vector[Int]]
  25. lazy val totalProbEquations: ParVector[ParVector[Double]]
  26. def traceIndices(j: Int, depth: Int): Vector[Int]
  27. def traceSet(elem: Expression, depth: Int, relativeTo: Set[Int]): Set[Set[Int]]
  28. lazy val typIndexVec: Vector[(Typ[Term], Int)]
  29. lazy val typIndices: Vector[Int]
  30. lazy val varVec: Vector[Expression]