codac_CtcDist.h

Go to the documentation of this file.

#ifndef __CODAC_CTCDIST_H__
#define __CODAC_CTCDIST_H__

#include "codac_Ctc.h"
#include "codac_Interval.h"
#include "codac_IntervalVector.h"

namespace codac
{
  class CtcDist : public Ctc
  {
    public:

      CtcDist();

      void contract(IntervalVector& x);

      void contract(IntervalVector& a, IntervalVector& b, Interval& d);

      void contract(Interval& ax, Interval& ay, Interval& bx, Interval& by, Interval& d);
  };
}

#endif