codac2_SepTransform.h

Go to the documentation of this file.

 
#pragma once
 
#include <type_traits>
#include "codac2_Sep.h"
#include "codac2_Collection.h"
#include "codac2_AnalyticFunction.h"
#include "codac2_CtcWrapper.h"
#include "codac2_CtcInverse.h"
 
namespace codac2
{
  class SepTransform : public Sep<SepTransform>
  {
    public:
 
      template<typename S>
        requires IsSepBaseOrPtr<S>
      SepTransform(const S& s, const AnalyticFunction<VectorType>& f, const AnalyticFunction<VectorType>& f_inv)
        : Sep<SepTransform>(f.args()[0]->size() /* f must have only one arg, see following assert */),
          _sep(s), _ctc_inv(f, IntervalVector(f_inv.args()[0]->size())), _f(f), _f_inv(f_inv)
      {
        assert_release(f.args().size() == 1 && "f must have only one arg");
        assert_release(f.args().size() == f_inv.args().size());
      }
 
      BoxPair separate(const IntervalVector& x) const;
 
    protected:
 
      const Collection<SepBase> _sep;
      const CtcInverse<IntervalVector> _ctc_inv;
      const AnalyticFunction<VectorType> _f, _f_inv;
  };
}