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