An extended value, which could either be a regular value or the special value Star.
A regular value.
The special value Star, which stands for the unknown result of an unexpanded computation.
A value set that possibly contains unspecified values.
Methods for creating lower and upper bound probability factors.