lazyfactored

Type Members

1. sealed abstract class Extended[T] extends AnyRef

   

   An extended value, which could either be a regular value or the special value Star.

2. class LazyValues extends AnyRef

   

   Object for lazily computing the range of values of elements in a universe.

   Object for lazily computing the range of values of elements in a universe. Given a universe, you can compute the values of elements in the universe to any desired depth.

3. class LazyVariableElimination extends FactoredAlgorithm[Double] with LazyAlgorithm

   

   Algorithm that lazily performs variable elimination.

   Algorithm that lazily performs variable elimination. This algorithm is a lazy algorithm that can be run to any depth. Given a depth, it expands the model up to that depth and creates factors for the expanded elements. It also creates factors that capture the effect of parts of the model that have not been expanded on the query targets. These factors are used to compute lower or upper bounds on the queries. Then it uses ordinary variable elimination to solve these factors.

4. case class Regular[T](value: T) extends Extended[T] with Product with Serializable

   

   A regular value.

5. case class Star[T]() extends Extended[T] with Product with Serializable

   

   The special value Star, which stands for the unknown result of an unexpanded computation.

   The special value Star, which stands for the unknown result of an unexpanded computation. When computing a lower bound to probabilities, we can assume that Star will eventually evaluate to something other than what is needed to make the query have a particular value. Star is a case class so that when we have different variables over the same type that both have value Star, we can say that their values are equal.

6. class ValueSet[T] extends AnyRef

   

   A value set that possibly contains unspecified values.