case classStar[T]() extends Extended[T] with Product with Serializable
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.
Linear Supertypes
Serializable, Serializable, Product, Equals, Extended[T], AnyRef, Any
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.