codac2_Sep.h

Go to the documentation of this file.

 
#pragma once
 
#include <memory>
#include "codac2_IntervalVector.h"
 
namespace codac2
{
  class BoxPair
  {
    public:
 
      BoxPair(const BoxPair& x)
        : _bp { x._bp }
      { }
 
      BoxPair(const IntervalVector& inner_, const IntervalVector& outer_)
        : _bp { inner_, outer_ }
      { }
 
      BoxPair& operator=(const BoxPair& x)
      {
        _bp = x._bp;
        return *this;
      }
 
      IntervalVector& inner = _bp[0];
      IntervalVector& outer = _bp[1];
      
      // Pybind11 needs iterators for __iter__ method, that are provided
      // by std::array. The above references are aliases for ease of use.
      std::array<IntervalVector,2> _bp;
  };
 
  inline std::ostream& operator<<(std::ostream& os, const BoxPair& x)
  {
    os << "(" << x.inner << "," << x.outer << ")";
    return os;
  }
 
  class SepBase
  {
    public:
 
      SepBase(Index n)
        : _n(n)
      {
        assert(n > 0);
      }
 
      Index size() const
      {
        return _n;
      }
 
      virtual std::shared_ptr<SepBase> copy() const = 0;
      virtual BoxPair separate(const IntervalVector& x) const = 0;
 
    protected:
 
      const Index _n;
  };
  
  template<typename S>
  class Sep : public SepBase
  {
    public:
 
      Sep(Index n)
        : SepBase(n)
      { }
 
      virtual std::shared_ptr<SepBase> copy() const
      {
        return std::make_shared<S>(*dynamic_cast<const S*>(this));
      }
  };
  
  template<class S>
  concept IsSepBaseOrPtr = (std::is_base_of_v<SepBase,S>
    || std::is_base_of_v<S,std::shared_ptr<SepBase>>);
 
 
  template<typename S>
    requires (IsSepBaseOrPtr<S>)
  struct is_interval_based<S> : std::false_type {};
 
  template<typename S>
    requires (IsSepBaseOrPtr<S>)
  struct is_ctc<S> : std::false_type {};
 
  template<typename S>
    requires (IsSepBaseOrPtr<S>)
  struct is_sep<S> : std::true_type {};
}