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"


using ibex::Interval;
using ibex::IntervalVector;
using ibex::Ctc;
using ibex::NumConstraint;
using ibex::CtcFwdBwd;


namespace codac {

class CtcSegment : public Ctc {

public:
  CtcSegment(double ax, double ay, double bx, double by);

  CtcSegment();

  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__