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