codac_DynCtc.h

Go to the documentation of this file.

 
#ifndef __CODAC_DYNCTC_H__
#define __CODAC_DYNCTC_H__
 
#include "codac_Tube.h"
#include "codac_TubeVector.h"
 
namespace codac
{
  class Domain;
  
  enum class TimePropag
  {
    FORWARD = 0x01, 
    BACKWARD = 0x02 
  };
  
  inline int operator&(TimePropag a, TimePropag b)
  { return static_cast<int>(static_cast<int>(a) & static_cast<int>(b)); }
  
  inline TimePropag operator|(TimePropag a, TimePropag b)
  { return static_cast<TimePropag>(static_cast<int>(a) | static_cast<int>(b)); }
 
  class DynCtc
  {
    public:
 
      DynCtc(bool intertemporal = true); // todo: remove default value
 
      virtual ~DynCtc();
 
      /*
       * \brief Contracts a set of abstract domains
       *
       * This method has to be overridden in order to make the contractor
       * available in the CN framework.
       *
       * \param v_domains vector of Domain pointers
       */
      virtual void contract(std::vector<Domain*>& v_domains) = 0;
 
      void preserve_slicing(bool preserve = true);
 
      void set_fast_mode(bool fast_mode = true);
 
      void restrict_tdomain(const Interval& tdomain);
 
      bool is_intertemporal() const;
 
    protected:
 
      bool m_preserve_slicing = true; 
      bool m_fast_mode = false; 
      Interval m_restricted_tdomain; 
      const bool m_intertemporal = true; 
  };
}
 
#endif