codac  1.5.7
codac_SepTransform.h
1 //============================================================================
2 // I B E X
3 // File : ibex_SepTransform.h
4 // Author : Benoit Desrochers, Gilles Chabert
5 // Copyright : Benoit Desrochers
6 // License : See the LICENSE file
7 // Created : Mar 3, 2015
8 // Last Update : Mar 3, 2015
9 //============================================================================
10 
11 #ifndef __IBEX_SEP_TRANSFORM_H__
12 #define __IBEX_SEP_TRANSFORM_H__
13 
14 #include "ibex_Sep.h"
15 #include "ibex_Function.h"
16 
17 
18 using ibex::Sep;
19 using ibex::Function;
20 using ibex::IntervalVector;
21 
22 namespace codac {
36 class SepTransform : public Sep {
37 public:
38 
46  SepTransform(Sep& s, Function& ffwd, Function &fbwd);
47 
48  ~SepTransform();
49 
50 
51  virtual void separate(IntervalVector& xin, IntervalVector& xout);
52 
54  Sep& s;
56  Function& fbwd;
58  Function& ffwd;
59 
60 private:
61  IntervalVector yin, yout;
62 
63 };
64 
65 } // end namespace pyibex
66 #endif // __IBEX_SEP_TRANSFORM_H__
Image of a separator by a function where an analytic expression of is avaiable. the computation is ...
Definition: codac_SepTransform.h:36
Sep & s
Definition: codac_SepTransform.h:54
Function & fbwd
Definition: codac_SepTransform.h:56
Function & ffwd
Definition: codac_SepTransform.h:58
SepTransform(Sep &s, Function &ffwd, Function &fbwd)
Construct a new Sep Transform object.
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9