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