codac2_CtcWrapper.h

Go to the documentation of this file.

 
#pragma once
 
#include "codac2_Ctc.h"
 
namespace codac2
{
  template<typename Y,
   typename X = std::conditional_t<
      std::is_same_v<Y, Interval>,
      Interval,
      IntervalVector>>
  class CtcWrapper : public Ctc<CtcWrapper<Y>,X>
  {
    public:
 
      CtcWrapper(const Y& y)
        : Ctc<CtcWrapper<Y>,X>(y.size()), _y(y)
      { }
 
      void contract(X& x) const
      {
        assert_release(x.size() == this->size());
        x = _y & x;
      }
 
    protected:
 
      const Y _y;
  };
}