Lines Matching defs:Traits
208 * approximation. These are given in the type Traits<T>.
210 * The type Traits<T>::IVal is the approximation of T: it is `Interval` for
214 * the actual operations in Traits<T>. Hence we can just use:
220 * Traits<float>::doMakeIVal(value)
224 template <typename T> struct Traits;
228 typename Traits<T>::IVal makeIVal (const T& value)
230 return Traits<T>::doMakeIVal(value);
235 typename Traits<T>::IVal unionIVal (const typename Traits<T>::IVal& a,
236 const typename Traits<T>::IVal& b)
238 return Traits<T>::doUnion(a, b);
243 bool contains (const typename Traits<T>::IVal& ival, const T& value)
245 return Traits<T>::doContains(ival, value);
250 bool containsWarning(const typename Traits<T>::IVal& ival, const T& value)
252 return Traits<T>::doContainsWarning(ival, value);
257 void printIVal (const FloatFormat& fmt, const typename Traits<T>::IVal& ival, ostream& os)
259 Traits<T>::doPrintIVal(fmt, ival, os);
263 string intervalToString (const FloatFormat& fmt, const typename Traits<T>::IVal& ival)
274 Traits<T>::doPrintValue(fmt, value, os);
289 typename Traits<T>::IVal round (const FloatFormat& fmt, const T& value)
291 return Traits<T>::doRound(fmt, value);
295 typename Traits<T>::IVal convert (const FloatFormat& fmt,
296 const typename Traits<T>::IVal& value)
298 return Traits<T>::doConvert(fmt, value);
341 struct Traits<float> : ScalarTraits<float>
359 struct Traits<bool> : ScalarTraits<bool>
384 struct Traits<int> : ScalarTraits<int>
499 struct Traits<Vector<T, Size> > :
500 ContainerTraits<Vector<T, Size>, Vector<typename Traits<T>::IVal, Size> >
505 struct Traits<Matrix<T, Rows, Cols> > :
506 ContainerTraits<Matrix<T, Rows, Cols>, Matrix<typename Traits<T>::IVal, Rows, Cols> >
513 struct Traits<Void>
594 const typename Traits<T>::IVal& value)
603 typename Traits<T>::IVal& lookup (const Variable<T>& variable) const
607 return *reinterpret_cast<typename Traits<T>::IVal*>(data);
864 typedef typename Traits<T>::IVal IVal;
874 typename Traits<T>::IVal Expr<T>::evaluate (const EvalContext& ctx) const
1147 typedef typename Traits<Ret>::IVal IRet;
1148 typedef typename Traits<Arg0>::IVal IArg0;
1149 typedef typename Traits<Arg1>::IVal IArg1;
1150 typedef typename Traits<Arg2>::IVal IArg2;
1151 typedef typename Traits<Arg3>::IVal IArg3;
4741 const typename Traits<In0>::IVal in0;
4742 const typename Traits<In1>::IVal in1;
4743 const typename Traits<In2>::IVal in2;
4744 const typename Traits<In3>::IVal in3;
4745 const typename Traits<Out0>::IVal reference0;
4746 const typename Traits<Out1>::IVal reference1;
4764 typename Traits<Out0>::IVal reference0;
4765 typename Traits<Out1>::IVal reference1;