codac
codac_DynamicalItem.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_DYNAMICALITEM_H__
13 #define __CODAC_DYNAMICALITEM_H__
14 
15 #include "codac_Interval.h"
16 #include "codac_IntervalVector.h"
17 
18 namespace codac
19 {
26  {
27  public:
28 
32  virtual ~DynamicalItem();
33 
39  virtual int size() const = 0;
40 
46  virtual const Interval tdomain() const = 0;
47 
55  virtual const IntervalVector codomain_box() const = 0;
56 
64  virtual const std::string class_name() const = 0;
65 
75  static bool valid_tdomain(const Interval& tdomain);
76  };
77 }
78 
79 #endif
virtual const Interval tdomain() const =0
Returns the temporal definition domain of this object.
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
virtual const std::string class_name() const =0
Returns the name of this class.
static bool valid_tdomain(const Interval &tdomain)
Verifies that this interval is a feasible tdomain.
Abstract class for common properties of Tube, TubeVector, Slice, Trajectory, TrajectoryVector objects...
Definition: codac_DynamicalItem.h:25
virtual const IntervalVector codomain_box() const =0
Returns the box of the feasible values along .
virtual int size() const =0
Returns the dimension of the object.
virtual ~DynamicalItem()
DynamicalItem destructor.