Lines Matching defs:IVal
209 * The type Traits<T>::IVal is the approximation of T: it is `Interval` for
227 typename Traits<T>::IVal makeIVal (const T& value)
234 typename Traits<T>::IVal unionIVal (const typename Traits<T>::IVal& a,
235 const typename Traits<T>::IVal& b)
240 //! Returns true iff every element of `ival` contains the corresponding element of `value`.
242 bool contains (const typename Traits<T>::IVal& ival, const T& value)
244 return Traits<T>::doContains(ival, value);
249 void printIVal (const FloatFormat& fmt, const typename Traits<T>::IVal& ival, ostream& os)
251 Traits<T>::doPrintIVal(fmt, ival, os);
255 string intervalToString (const FloatFormat& fmt, const typename Traits<T>::IVal& ival)
258 printIVal<T>(fmt, ival, oss);
281 typename Traits<T>::IVal round (const FloatFormat& fmt, const T& value)
287 typename Traits<T>::IVal convert (const FloatFormat& fmt,
288 const typename Traits<T>::IVal& value)
297 typedef Interval IVal;
316 static Interval doConvert (const FloatFormat& fmt, const IVal& ival)
318 return fmt.convert(ival);
331 const Interval& ival,
334 os << fmt.intervalToHex(ival);
356 const Interval& ival,
360 if (ival.contains(false))
362 if (ival.contains(false) && ival.contains(true))
364 if (ival.contains(true))
381 const Interval& ival,
384 os << "[" << int(ival.lo()) << ", " << int(ival.hi()) << "]";
394 typedef I IVal;
396 static IVal doMakeIVal (const T& value)
398 IVal ret;
406 static IVal doUnion (const IVal& a, const IVal& b)
408 IVal ret;
416 static bool doContains (const IVal& ival, const T& value)
419 if (!contains(ival[ndx], value[ndx]))
425 static void doPrintIVal (const FloatFormat& fmt, const IVal ival, ostream& os)
434 printIVal<Element>(fmt, ival[ndx], os);
455 static IVal doConvert (const FloatFormat& fmt, const IVal& value)
457 IVal ret;
465 static IVal doRound (const FloatFormat& fmt, T value)
467 IVal ret;
478 ContainerTraits<Vector<T, Size>, Vector<typename Traits<T>::IVal, Size> >
484 ContainerTraits<Matrix<T, Rows, Cols>, Matrix<typename Traits<T>::IVal, Rows, Cols> >
493 typedef Void IVal;
571 const typename Traits<T>::IVal& value)
580 typename Traits<T>::IVal& lookup (const Variable<T>& variable) const
584 return *reinterpret_cast<typename Traits<T>::IVal*>(data);
841 typedef typename Traits<T>::IVal IVal;
843 IVal evaluate (const EvalContext& ctx) const;
846 virtual IVal doEvaluate (const EvalContext& ctx) const = 0;
851 typename Traits<T>::IVal Expr<T>::evaluate (const EvalContext& ctx) const
860 const IVal ret = this->doEvaluate(newCtx);
1012 typedef typename Expr<T>::IVal IVal;
1019 IVal doEvaluate (const EvalContext& ctx) const
1052 typedef typename Expr<T>::IVal IVal;
1058 IVal doEvaluate (const EvalContext&) const { return makeIVal(m_value); }
1124 typedef typename Traits<Ret>::IVal IRet;
1125 typedef typename Traits<Arg0>::IVal IArg0;
1126 typedef typename Traits<Arg1>::IVal IArg1;
1127 typedef typename Traits<Arg2>::IVal IArg2;
1128 typedef typename Traits<Arg3>::IVal IArg3;
1267 typedef typename Expr<Ret>::IVal IVal;
1294 IVal doEvaluate (const EvalContext& ctx) const
1402 typedef typename Expr<Ret>::IVal IVal;
1413 IVal doEvaluate (const EvalContext& ctx) const
4572 const typename Traits<In0>::IVal in0;
4573 const typename Traits<In1>::IVal in1;
4574 const typename Traits<In2>::IVal in2;
4575 const typename Traits<In3>::IVal in3;
4576 const typename Traits<Out0>::IVal reference0;
4577 const typename Traits<Out1>::IVal reference1;
4592 typename Traits<Out0>::IVal reference0;
4593 typename Traits<Out1>::IVal reference1;
