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