codac_CtcLohner.h

Go to the documentation of this file.

#ifndef __CODAC_CTCLOHNER_H__
#define __CODAC_CTCLOHNER_H__

#include "codac_DynCtc.h"
#include "codac_TFnc.h"
#include "codac_Slice.h"


namespace codac {

class CtcLohner : public codac::DynCtc {
public:

  explicit CtcLohner(const Function &f, int contractions = 5, double eps = 0.1);

  void contract(codac::TubeVector &tube, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);

  void contract(codac::Tube &tube, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);

  /*
   * \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<codac::Domain *> &v_domains) override;

protected:
  Function m_f; 
  int contractions; 
  int dim; 
  double eps; 

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

} // namespace codac

#endif