codac_CtcEval.h

Go to the documentation of this file.

#ifndef __CODAC_CTCEVAL_H__
#define __CODAC_CTCEVAL_H__

#include "codac_DynCtc.h"

namespace codac
{
  class CtcEval : public DynCtc
  {
    public:

      CtcEval();

      /*
       * \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 enable_time_propag(bool enable_propagation);

      void contract(double t, Interval& z, Tube& y, Tube& w);

      void contract(Interval& t, Interval& z, Tube& y, Tube& w);

      void contract(double t, IntervalVector& z, TubeVector& y, TubeVector& w);

      void contract(Interval& t, IntervalVector& z, TubeVector& y, TubeVector& w);

      void contract(Interval& t, Interval& z, const Tube& y);

      void contract(Interval& t, IntervalVector& z, const TubeVector& y);

    protected:

      bool m_propagation_enabled = true; 

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

#endif