codac2_CtcDist.h

Go to the documentation of this file.

 
#pragma once
 
#include "codac2_Ctc.h"
#include "codac2_IntervalVector.h"
 
namespace codac2
{
  class CtcDist : public Ctc<CtcDist,IntervalVector>
  {
    public:

      CtcDist();

      void contract(IntervalVector& x) const;

      void contract(Interval& a1, Interval& a2, Interval& b1, Interval& b2, Interval& d) const;
  };
}