19 class CtcLazy :
public Ctc<CtcLazy,IntervalVector>
24 requires IsCtcBaseOrPtr<C,IntervalVector>
27 _r(1./std::
pow(2,size_of(c)-1))
34 const Collection<CtcBase<IntervalVector>> _ctc;
Definition codac2_OctaSym.h:21
Interval pow(const Interval &x, int n)
Returns , .
Definition codac2_Interval_operations_impl.h:33
Eigen::Matrix< Interval,-1, 1 > IntervalVector
Alias for a dynamic-size column vector of intervals.
Definition codac2_IntervalVector.h:25