Lines Matching defs:ria
903 the {\em ria} (real number interval) library, and finally the {\em eplex}
1264 \subsection{The {\em ria} (Real Interval Arithmetic) Library}
1265 The {\em ria} library supports numeric constraints which may involve
1267 Throughout program execution, {\em ria} continually narrows
1270 In other words {\em ria} supports propagation of intervals, using the
1274 The constraints handled by {\em ria} are equations and inequalities
1282 arithmetic, so it is in general more efficient than {\em ria}.
1284 We shall confine ourselves here to a single example showing {\em ria}
1315 :- lib(ria).
1343 {\em ria} requires its constraints to be written with a specific
1345 This distinguishes {\em ria} constraints from linear and finite domain
1398 weightings.\footnote{The intervals returned from {\em ria} are much
1427 [eclipse 1]: lib(ria).
1428 * ria loaded
1448 The answer is not incorrect, as $ria$ only guarantees that any
1458 subset of the constraints which can be handled by {\em ria}.
1519 Note that, where {\em fd} uses a \verb0#0 and {\em ria} uses a \verb0*0, {\em
1530 Therefore in illustrating the two examples where {\em ria} performed
1564 detected by {\em ria}.
2017 is added (an {\em fd} constraint, a {\em ria} constraint, or an {\em
2100 Naturally {\em ria} constraints and {\em eplex} constraints are stored