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