codac_CtcFunction.h

Go to the documentation of this file.

 
#ifndef __CODAC_CTCFUNCTION_H__
#define __CODAC_CTCFUNCTION_H__
 
#include <string>
#include "codac_Function.h"
#include "ibex_CtcFwdBwd.h"
#include "ibex_Domain.h"
#include "codac_TubeVector.h"
 
namespace codac
{
  class CtcFunction : public ibex::CtcFwdBwd
  {
    public:
 
      CtcFunction(const Function& f);
 
      CtcFunction(const Function& f, const ibex::Domain& y);
 
      CtcFunction(const Function& f, const Interval& y);
 
      CtcFunction(const Function& f, const IntervalVector& y);
      
      void contract(IntervalVector& x);
      
      void contract(TubeVector& x);
 
      void contract(Tube& x1);
 
      void contract(Tube& x1, Tube& x2);
 
      void contract(Tube& x1, Tube& x2, Tube& x3);
 
      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4);
 
      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5);
 
      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6);
 
      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7);
 
      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7, Tube& x8);
 
      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7, Tube& x8, Tube& x9);
 
      void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7, Tube& x8, Tube& x9, Tube& x10);
 
      void contract(Slice **v_x_slices);
  };
}
 
 
#endif