codac2_SepWrapper.h

Go to the documentation of this file.

 
#pragma once
 
#include "codac2_Sep.h"
#include "codac2_SepCtcPair.h"
#include "codac2_CtcWrapper.h"
#include "codac2_CtcUnion.h"
#include "codac2_Paving.h"
 
namespace codac2
{
 
  template<typename T>
  class SepWrapper : public Sep<SepWrapper<T>>
  {
    public:
 
      SepWrapper(const T& y)
        : Sep<SepWrapper<T>>(y.size()), _y(y)
      { }
 
    protected:
 
      const T _y;
  };

 
  template<>
  class SepWrapper<IntervalVector> : public SepCtcPair
  {
    public:
 
      SepWrapper(const IntervalVector& y)
        : SepCtcPair(complementary_union(y), CtcWrapper<IntervalVector>(y))
      { }
 
      BoxPair separate(const IntervalVector& x) const;
 
    protected:
 
      CtcUnion<IntervalVector> complementary_union(const IntervalVector& y) const
      {
        CtcUnion<IntervalVector> cu(y.size());
        for(const auto& complem_y : y.complementary())
          cu |= CtcWrapper<IntervalVector>(complem_y);
        return cu;
      }
  };
 
  template<>
  class SepWrapper<PavingInOut>: public Sep<SepWrapper<PavingInOut>>
  {
    public:
 
      SepWrapper(const PavingInOut& P)
        : Sep<SepWrapper<PavingInOut>>(P.size()), _P(P)
      { }
 
      BoxPair separate(const IntervalVector& x) const;
 
    protected:
    
      const PavingInOut _P;
  };
}