codac_CtcTransform.h

//============================================================================
//                                  I B E X
// File        : ibex_CtcTransform.h
// Author      : Benoit Desrochers, Gilles Chabert
// Copyright   : Benoit Desrochers
// License     : See the LICENSE file
// Created     : Mar 3, 2015
// Last Update : Mar 3, 2015
//============================================================================
 
#ifndef __IBEX_CTC_TRANSFORM_H__
#define __IBEX_CTC_TRANSFORM_H__
 
#include "ibex_Ctc.h"
#include "ibex_Function.h"
 
 
using ibex::Ctc;
using ibex::Function;
using ibex::IntervalVector;
 
namespace codac {
class CtcTransform : public Ctc {
public:
    CtcTransform(Ctc& s, Function& ffwd, Function &fbwd);
    ~CtcTransform();
    virtual void contract(IntervalVector& box);
 
    Ctc& ctc;
    Function& fbwd;
    Function& ffwd;
 
private:
    IntervalVector y;
 
};
 
} // end namespace pyibex
#endif // __IBEX_CTC_TRANSFORM_H__