codac 1.5.6
Loading...
Searching...
No Matches
codac_TFnc.h
1
11#ifndef __CODAC_TFNC_H__
12#define __CODAC_TFNC_H__
13
14#include "codac_Interval.h"
16
17namespace codac
18{
19 class Tube;
20 class TubeVector;
21
22 class TFnc
23 {
24 public:
25
26 TFnc(int nb_vars, int img_dim, bool is_intertemporal);
27 virtual ~TFnc();
28 const TFnc& operator=(const TFnc& f);
29
30 int nb_var() const;
31 int nb_vars() const;
32 int image_dim() const;
33 bool is_intertemporal() const;
34
35 virtual const Tube eval(const TubeVector& x) const;
36 virtual const Interval eval(const IntervalVector& x) const = 0;
37 virtual const Interval eval(int slice_id, const TubeVector& x) const = 0;
38 virtual const Interval eval(const Interval& t, const TubeVector& x) const = 0;
39
40 virtual const TubeVector eval_vector(const TubeVector& x) const;
41 virtual const IntervalVector eval_vector(const IntervalVector& x) const = 0;
42 virtual const IntervalVector eval_vector(int slice_id, const TubeVector& x) const = 0;
43 virtual const IntervalVector eval_vector(const Interval& t, const TubeVector& x) const = 0;
44
45 protected:
46
47 TFnc();
48
49 int m_nb_vars, m_img_dim;
50 bool m_intertemporal;
51 };
52}
53
54#endif
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9