codac 1.5.6
Loading...
Searching...
No Matches
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
18using ibex::Sep;
19using ibex::Function;
20using ibex::IntervalVector;
21
22namespace codac {
36class SepTransform : public Sep {
37public:
38
46 SepTransform(Sep& s, Function& ffwd, Function &fbwd);
47
49
50
51 virtual void separate(IntervalVector& xin, IntervalVector& xout);
52
54 Sep& s;
56 Function& fbwd;
58 Function& ffwd;
59
60private:
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