Lines Matching refs:Traits
199 * \brief Type traits for generalized interval types.
207 * approximation. These are given in the type Traits<T>.
209 * The type Traits<T>::IVal is the approximation of T: it is `Interval` for
213 * the actual operations in Traits<T>. Hence we can just use:
219 * Traits<float>::doMakeIVal(value)
223 template <typename T> struct Traits;
227 typename Traits<T>::IVal makeIVal (const T& value)
229 return Traits<T>::doMakeIVal(value);
234 typename Traits<T>::IVal unionIVal (const typename Traits<T>::IVal& a,
235 const typename Traits<T>::IVal& b)
237 return Traits<T>::doUnion(a, b);
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)
266 Traits<T>::doPrintValue(fmt, value, os);
281 typename Traits<T>::IVal round (const FloatFormat& fmt, const T& value)
283 return Traits<T>::doRound(fmt, value);
287 typename Traits<T>::IVal convert (const FloatFormat& fmt,
288 const typename Traits<T>::IVal& value)
290 return Traits<T>::doConvert(fmt, value);
293 //! Common traits for scalar types.
328 struct Traits<float> : ScalarTraits<float>
346 struct Traits<bool> : ScalarTraits<bool>
371 struct Traits<int> : ScalarTraits<int>
388 //! Common traits for containers, i.e. vectors and matrices.
477 struct Traits<Vector<T, Size> > :
478 ContainerTraits<Vector<T, Size>, Vector<typename Traits<T>::IVal, Size> >
483 struct Traits<Matrix<T, Rows, Cols> > :
484 ContainerTraits<Matrix<T, Rows, Cols>, Matrix<typename Traits<T>::IVal, Rows, Cols> >
488 //! Void traits. These are just dummies, but technically valid: a Void is a
491 struct Traits<Void>
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;
851 typename Traits<T>::IVal Expr<T>::evaluate (const EvalContext& ctx) const
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;
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;
