Next: 3.2.27 Example with a Partial
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.25 Examples with a Binary
Partial functions are handled as before.
Let g denote a partial binary function.
The domain of g may be defined in terms of :
The function ,
again describes the relationship between and
:
where and .
The relationship between and is that of containment,
defined componentwise:
For the function , an evaluation
of the model proceeds as follows:
The resulting domain description d', ,
is determined using , , , and :
The resulting value v' depends on d', as the value depended
on the domain for partial functions.
The methods for handling discontinuous and -bumpy functions
are similarly extended.
Next: 3.2.27 Example with a Partial
Up: 3.2 Constant Interval Arithmetic
Previous: 3.2.25 Examples with a Binary