codac2_CtcNot.h

Go to the documentation of this file.

 
#pragma once
 
#include <map>
#include "codac2_CtcUnion.h"
#include "codac2_CtcInverse.h"
 
namespace codac2
{
  class CtcNot : public Ctc<CtcNot,IntervalVector>
  {
    public:
 
      template<typename C>
        requires IsCtcBaseOrPtr<C,IntervalVector>
      CtcNot(const C& c)
        : Ctc<CtcNot,IntervalVector>(size_of(c))
      { }
 
      void contract([[maybe_unused]] IntervalVector& x) const
      {
        /* nothing can be done: no inner information */
      }
  };
}