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__