Lines Matching defs:IVal
210 * The type Traits<T>::IVal is the approximation of T: it is `Interval` for
228 typename Traits<T>::IVal makeIVal (const T& value)
235 typename Traits<T>::IVal unionIVal (const typename Traits<T>::IVal& a,
236 const typename Traits<T>::IVal& b)
243 bool contains (const typename Traits<T>::IVal& ival, const T& value)
250 bool containsWarning(const typename Traits<T>::IVal& ival, const T& value)
257 void printIVal (const FloatFormat& fmt, const typename Traits<T>::IVal& ival, ostream& os)
263 string intervalToString (const FloatFormat& fmt, const typename Traits<T>::IVal& ival)
289 typename Traits<T>::IVal round (const FloatFormat& fmt, const T& value)
295 typename Traits<T>::IVal convert (const FloatFormat& fmt,
296 const typename Traits<T>::IVal& value)
305 typedef Interval IVal;
329 static Interval doConvert (const FloatFormat& fmt, const IVal& ival)
407 typedef I IVal;
409 static IVal doMakeIVal (const T& value)
411 IVal ret;
419 static IVal doUnion (const IVal& a, const IVal& b)
421 IVal ret;
429 static bool doContains (const IVal& ival, const T& value)
438 static bool doContainsWarning(const IVal& ival, const T& value)
447 static void doPrintIVal (const FloatFormat& fmt, const IVal ival, ostream& os)
477 static IVal doConvert (const FloatFormat& fmt, const IVal& value)
479 IVal ret;
487 static IVal doRound (const FloatFormat& fmt, T value)
489 IVal ret;
500 ContainerTraits<Vector<T, Size>, Vector<typename Traits<T>::IVal, Size> >
506 ContainerTraits<Matrix<T, Rows, Cols>, Matrix<typename Traits<T>::IVal, Rows, Cols> >
515 typedef Void IVal;
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;
866 IVal evaluate (const EvalContext& ctx) const;
869 virtual IVal doEvaluate (const EvalContext& ctx) const = 0;
874 typename Traits<T>::IVal Expr<T>::evaluate (const EvalContext& ctx) const
883 const IVal ret = this->doEvaluate(newCtx);
1035 typedef typename Expr<T>::IVal IVal;
1042 IVal doEvaluate (const EvalContext& ctx) const
1075 typedef typename Expr<T>::IVal IVal;
1081 IVal doEvaluate (const EvalContext&) const { return makeIVal(m_value); }
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;
1290 typedef typename Expr<Ret>::IVal IVal;
1317 IVal doEvaluate (const EvalContext& ctx) const
1425 typedef typename Expr<Ret>::IVal IVal;
1436 IVal doEvaluate (const EvalContext& ctx) const
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;