codac_CtcDelay.h

Go to the documentation of this file.

#ifndef __CODAC_CTCDELAY_H__
#define __CODAC_CTCDELAY_H__

#include "codac_DynCtc.h"

namespace codac
{
  class CtcDelay : public DynCtc
  {
    public:

      CtcDelay();

      /*
       * \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(Interval& a, Tube& x, Tube& y);

      void contract(Interval& a, TubeVector& x, TubeVector& y);

    protected:

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

#endif