codac_CtcStatic.h

Go to the documentation of this file.

#ifndef __CODAC_CTCSTATIC_H__
#define __CODAC_CTCSTATIC_H__

#include "codac_Ctc.h"
#include "codac_DynCtc.h"
#include "codac_Domain.h"

namespace codac
{
  class CtcStatic : public DynCtc
  {
    public:

      CtcStatic(Ctc& ibex_ctc, bool temporal_ctc = false);

      /*
       * \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(TubeVector& x);

      void contract(Tube& x1);

      void contract(Tube& x1, Tube& x2);

      void contract(Tube& x1, Tube& x2, Tube& x3);

      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4);

      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5);

      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6);

      void contract(Slice **v_x_slices, int n);

    protected:

      Ctc& m_static_ctc; 
      int m_temporal_ctc; 

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

#endif