codac2_CtcEmpty.h

Go to the documentation of this file.

 
#pragma once
 
#include "codac2_CtcWrapper.h"
#include "codac2_IntervalVector.h"
 
namespace codac2
{
  class CtcEmpty : public Ctc<CtcEmpty,IntervalVector>
  {
    public:
 
      CtcEmpty(Index n);
 
      void contract(IntervalVector& x) const;
  };
}