codac_CtcDeriv.h

Go to the documentation of this file.

#ifndef __CODAC_CTCDERIV_H__
#define __CODAC_CTCDERIV_H__

#include "codac_DynCtc.h"
#include "codac_Slice.h"
#include "codac2_Tube.h"

namespace codac
{
  class Domain;

  class CtcDeriv : public DynCtc
  {
    public:

      CtcDeriv();

      /*
       * \brief Contracts a set of abstract domains
       *
       * This method makes the contractor available in the CN framework.
       *
       * \param v_domains vector of Domain pointers
       */
      void contract(std::vector<Domain*>& v_domains);

      void contract(Tube& x, const Tube& v, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);

      void contract(TubeVector& x, const TubeVector& v, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
      void contract(codac2::Tube<Interval>& x, const codac2::Tube<Interval>& v, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
      void contract(codac2::Tube<IntervalVector>& xv, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
      void contract(codac2::Tube<IntervalVector>& x, int i, codac2::Tube<IntervalVector>& v, int j, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);

      void contract(Slice& x, const Slice& v, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);

    protected:

      void contract_gates(Slice& x, const Slice& v);
      
      friend class CtcEval; // contract_gates used by CtcEval

      static const std::string m_ctc_name; 
      static std::vector<std::string> m_str_expected_doms; 
      friend class ContractorNetwork;
  };
}

#endif