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