Packages

c

provingground.learning

TensorFlowFatExprEquations

class TensorFlowFatExprEquations extends FatExprEquations

Linear Supertypes
FatExprEquations, ExpressionEquationIndexifier, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TensorFlowFatExprEquations
  2. FatExprEquations
  3. ExpressionEquationIndexifier
  4. AnyRef
  5. 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 TensorFlowFatExprEquations(initMap: Map[Expression, Double], equationVec: Vector[Equation], params: TermGenParams, graph: Graph, initVariables: Vector[Expression] = Vector())

Value Members

  1. val bilEntries: List[Operand[TFloat32]]
  2. val bilQuotMatrices: Array[Constant[TFloat32]]
  3. val bilQuotRHSEntries: Array[SparseMatMul]
  4. val bilRHS: Operand[TFloat32]
  5. lazy val bilienarQuotient: Array[Array[Array[Float]]]
    Definition Classes
    FatExprEquations
  6. val bilinearMatrices: Array[Constant[TFloat32]]
  7. val bilinearRHSEntries: Array[SparseMatMul]
  8. lazy val bilinearTerms: Array[Array[Array[Float]]]
    Definition Classes
    FatExprEquations
  9. val complexRHSTerms: Vector[OneHot[TFloat32]]
  10. lazy val complexTerms: ArrayBuffer[(Int, ProductIndexExpression)]
    Definition Classes
    FatExprEquations
  11. lazy val constantEquations: Set[Int]
    Definition Classes
    ExpressionEquationIndexifier
  12. val eqnErr: ReduceSum[TFloat32]
  13. def equationGradients(v: ParSeq[Double]): ParVector[ParVector[Double]]
    Definition Classes
    ExpressionEquationIndexifier
  14. val equationVec: Vector[Equation]
    Definition Classes
    ExpressionEquationIndexifier
  15. def fit(steps: Int): Try[(Vector[(Expression, Float)], Float)]
  16. def getProd(exp: Expression): ProductIndexExpression
    Definition Classes
    ExpressionEquationIndexifier
  17. lazy val indexMap: Map[Expression, Int]
    Definition Classes
    ExpressionEquationIndexifier
  18. lazy val initPar: ParMap[Expression, Double]
    Definition Classes
    ExpressionEquationIndexifier
  19. lazy val initTermIndices: Vector[Int]
    Definition Classes
    ExpressionEquationIndexifier
  20. lazy val initTypIndices: Vector[Int]
    Definition Classes
    ExpressionEquationIndexifier
  21. val lhsVec: Slice[TFloat32]
  22. val linearMatrix: Constant[TFloat32]
  23. val linearRHS: Reshape[TFloat32]
  24. lazy val linearTerms: Array[Array[Float]]
    Definition Classes
    FatExprEquations
  25. def mapToIndexMap[V](m: Map[Expression, V]): Map[Int, V]
    Definition Classes
    ExpressionEquationIndexifier
  26. val mismatch: Add[TFloat32]
  27. def nextTraceSet(current: Set[Set[Int]], relativeTo: Set[Int]): Set[Set[Int]]
    Definition Classes
    ExpressionEquationIndexifier
  28. def nextTraceVector(current: Vector[Vector[Int]]): Vector[Vector[Int]]
    Definition Classes
    ExpressionEquationIndexifier
  29. val numVars: Int
    Definition Classes
    ExpressionEquationIndexifier
  30. val optimizer: Adam
  31. def orthonormalGradients(v: ParSeq[Double], cutoff: Double = 0.0): ParVector[ParVector[Double]]
    Definition Classes
    ExpressionEquationIndexifier
  32. val pCol: Reshape[TFloat32]
  33. val pRow: Reshape[TFloat32]
  34. val pVec: Sigmoid[TFloat32]
  35. def prodOp(prod: ProductIndexExpression): Option[Operand[TFloat32]]
  36. def proofData(typ: Typ[Term]): Vector[(Int, Equation)]
    Definition Classes
    ExpressionEquationIndexifier
  37. def ps(n: Int): Operand[TFloat32]
  38. def quickCheck(): Try[Tensor[TFloat32]]
  39. lazy val randomVarIndices: ParVector[Vector[Int]]
    Definition Classes
    ExpressionEquationIndexifier
  40. def ratioDiff(x: Operand[TFloat32], y: Operand[TFloat32]): Operand[TFloat32]
  41. final def recTraceSet(current: Set[Set[Int]], depth: Int, relativeTo: Set[Int], accum: Set[Set[Int]]): Set[Set[Int]]
    Definition Classes
    ExpressionEquationIndexifier
    Annotations
    @tailrec()
  42. lazy val rhsExprs: Vector[SumIndexExpression]
    Definition Classes
    ExpressionEquationIndexifier
  43. lazy val rhsExprsPar: ParVector[SumIndexExpression]
    Definition Classes
    ExpressionEquationIndexifier
  44. def rhsInvolves(js: Set[Int]): Set[Int]
    Definition Classes
    ExpressionEquationIndexifier
  45. val rhsVec: Operand[TFloat32]
  46. val shift: Op
  47. def simplify(exp: Expression): SumIndexExpression
    Definition Classes
    ExpressionEquationIndexifier
  48. lazy val size: Int
    Definition Classes
    ExpressionEquationIndexifier
  49. lazy val termIndexVec: Vector[(Term, Int)]
    Definition Classes
    ExpressionEquationIndexifier
  50. lazy val termIndices: Vector[Int]
    Definition Classes
    ExpressionEquationIndexifier
  51. val tf: Ops
  52. lazy val thmPfIndices: Map[Int, Vector[Int]]
    Definition Classes
    ExpressionEquationIndexifier
  53. val totProbErr: Operand[TFloat32]
  54. lazy val totalProbEquations: ParVector[ParVector[Double]]
    Definition Classes
    ExpressionEquationIndexifier
  55. val totalProbEquationsOp: Vector[(Operand[TFloat32], Operand[TFloat32])]
  56. val totalProbMatrix: Array[Array[Float]]
    Definition Classes
    FatExprEquations
  57. def traceIndices(j: Int, depth: Int): Vector[Int]
    Definition Classes
    ExpressionEquationIndexifier
  58. def traceSet(elem: Expression, depth: Int, relativeTo: Set[Int]): Set[Set[Int]]
    Definition Classes
    ExpressionEquationIndexifier
  59. lazy val typIndexVec: Vector[(Typ[Term], Int)]
    Definition Classes
    ExpressionEquationIndexifier
  60. lazy val typIndices: Vector[Int]
    Definition Classes
    ExpressionEquationIndexifier
  61. lazy val varVec: Vector[Expression]
    Definition Classes
    ExpressionEquationIndexifier
  62. val xVec: Variable[TFloat32]