codac_CtcCartProd.h

Go to the documentation of this file.

 
#ifndef __CODAC_CTCCARTPROD_H__
#define __CODAC_CTCCARTPROD_H__
 
#include "codac_Ctc.h"
#include "codac_IntervalVector.h"
#include "ibex_Array.h"
 
namespace codac
{
  class CtcCartProd : public Ctc
  {
    public:
 
      template <typename ...Args>
      CtcCartProd(Args&... args) : Ctc(ibex::Array<Ctc>({args...})), m_v({args...}) {};
 
      CtcCartProd(const ibex::Array<Ctc>& array) : Ctc(array), m_v(array) {};
 
      void contract(IntervalVector& x);
 
    protected:
 
      ibex::Array<Ctc> m_v; 
  };
 
  CtcCartProd cart_prod(Ctc& c1, Ctc& c2);
 
  CtcCartProd cart_prod(const ibex::Array<Ctc>& array);
}
 
#endif