class IndexedBacktrace extends AnyRef
Computation of probabilities of elements in equations for other elements, and of upper bounds on distances, based on equations in indices.
- Alphabetic
- By Inheritance
- IndexedBacktrace
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new IndexedBacktrace(rhsExprs: Vector[SumIndexExpression], probVec: Vector[Double])
- rhsExprs
right-hand side of equation in terms of indices, with the left hand side being the index.
- probVec
vector of probabilies, i.e., probabilites as function of indices.
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toany2stringadd[IndexedBacktrace] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (IndexedBacktrace, B)
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toArrowAssoc[IndexedBacktrace] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def allDerivedDistances(baseDistance: DistBoundMap, maxDistance: Double): Vector[((Int, Int), Double)]
Best derived distances between all pairs, filtered by a bound
Best derived distances between all pairs, filtered by a bound
- baseDistance
given distance bounds
- maxDistance
maximum distance bound, beyond which bounds are not considered
- returns
vector of bounds
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- lazy val baseDistances: DistBoundMap
distance bounds from diagonals and from comparing lhs and rhs of equations
distance bounds from diagonals and from comparing lhs and rhs of equations
- returns
map of distance bounds
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def derivedDistance(exp1: ProductIndexExpression, exp2: ProductIndexExpression, baseDistance: DistBoundMap): Double
distance between product expressions, given by considering all matches where distance bounds are known; with distance for each match given by distances between matched indices and norms of unmatched ones.
distance between product expressions, given by considering all matches where distance bounds are known; with distance for each match given by distances between matched indices and norms of unmatched ones.
- exp1
first product expression
- exp2
second product expression
- baseDistance
previous distance bounds
- returns
distance bound derived by matching
- def derivedStep(baseDistance: DistBoundMap, maxDistance: Double, resolution: Double): DistBoundMap
single step of deriving distances and using symmetry and triangle inequality
single step of deriving distances and using symmetry and triangle inequality
- baseDistance
given distance bounds
- maxDistance
maximum distance bound, beyond which bounds are not considered
- resolution
additive scale for comparison
- returns
refined distance
- def ensuring(cond: (IndexedBacktrace) => Boolean, msg: => Any): IndexedBacktrace
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toEnsuring[IndexedBacktrace] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (IndexedBacktrace) => Boolean): IndexedBacktrace
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toEnsuring[IndexedBacktrace] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): IndexedBacktrace
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toEnsuring[IndexedBacktrace] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): IndexedBacktrace
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toEnsuring[IndexedBacktrace] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalDistance(maxDistance: Double, resolution: Double): DistBoundMap
stable distance after iterative refinement by deriving and triangle inequality
stable distance after iterative refinement by deriving and triangle inequality
- maxDistance
maximum distance bound, beyond which bounds are not considered
- resolution
additive scale for comparison
- returns
stable refined distance
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toStringFormat[IndexedBacktrace] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- lazy val norms: Vector[Double]
norms of indices
norms of indices
- returns
vector of norms
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def numeratorComplement(index: Int, exp: ProductIndexExpression): Double
complement of an index in a product term
complement of an index in a product term
- index
a given index
- exp
a product expression
- returns
Double giving the complementary probability
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def traceBackWeighted(index: Int, cutoff: Double, headWeight: Double): Vector[(Int, Double)]
other indices that have significant weight in the given index on tracing back
other indices that have significant weight in the given index on tracing back
- index
initial index
- cutoff
terms with probability below this are ignored
- headWeight
the initial weight, for recursive computation
- returns
vector of indices with weights
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def →[B](y: B): (IndexedBacktrace, B)
- Implicit
- This member is added by an implicit conversion from IndexedBacktrace toArrowAssoc[IndexedBacktrace] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.