codac  1.5.7
codac_TFnc.h
1 
11 #ifndef __CODAC_TFNC_H__
12 #define __CODAC_TFNC_H__
13 
14 #include "codac_Interval.h"
15 #include "codac_IntervalVector.h"
16 
17 namespace 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