codac_CtcSegment.h

//============================================================================
//                                P Y I B E X
// Author      : Benoit Desrochers, Gilles Chabert
// Copyright   : Benoit Desrochers
// License     : See the LICENSE file
// Created     : Mar 24, 2014
// Last Update : Jun 29, 2017
//============================================================================
 
#ifndef __IBEX_CTC_SEGMENT_H__
#define __IBEX_CTC_SEGMENT_H__
 
#include "ibex_IntervalVector.h"
#include "ibex_NumConstraint.h"
#include "ibex_CtcFwdBwd.h"
 
 
namespace codac {
 
 
using ibex::Interval;
using ibex::IntervalVector;
using ibex::Ctc;
using ibex::NumConstraint;
using ibex::CtcFwdBwd;
 
class CtcSegment : public Ctc {
 
public:
  CtcSegment(double ax, double ay, double bx, double by);
 
  CtcSegment();
 
  CtcSegment(const CtcSegment& ctc);
 
  virtual void contract(IntervalVector& box);
 
  ~CtcSegment();
 
protected:
  IntervalVector X_with_params;
 
  NumConstraint *ncf, *ncg;
 
  CtcFwdBwd *ctc_f, *ctc_g;
 
private:
  void init();
};
 
} // end namespace
 
#endif // __IBEX_CTC_SEGMENT_H__