codac2_SepCtcPair.h

Go to the documentation of this file.

 
#pragma once
 
#include "codac2_Sep.h"
#include "codac2_CtcWrapper.h"
#include "codac2_Collection.h"
#include "codac2_template_tools.h"
 
namespace codac2
{
  class SepCtcPair : public Sep<SepCtcPair>
  {
    public:
 
      template<typename C1, typename C2>
        requires (IsCtcBaseOrPtr<C1,IntervalVector> && IsCtcBaseOrPtr<C2,IntervalVector>)
      SepCtcPair(const C1& ctc_inner, const C2& ctc_outer)
        : Sep<SepCtcPair>(size_of(ctc_inner)), _ctc_inner_outer(ctc_inner, ctc_outer)
      {
        assert_release(size_of(ctc_inner) == size_of(ctc_outer));
      }
 
      BoxPair separate(const IntervalVector& x) const;
 
    protected:
 
      const Collection<CtcBase<IntervalVector>> _ctc_inner_outer;
  };
}