12 #ifndef __CODAC2_CTCDIFFINCLUSION_H__
13 #define __CODAC2_CTCDIFFINCLUSION_H__
15 #include "codac_TFunction.h"
22 using codac::TFunction;
34 void contract(codac2::Tube<codac::IntervalVector>& x,
const codac2::Tube<codac::IntervalVector>& u,
TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
35 void contract(Slice<codac::IntervalVector>& x,
const Slice<codac::IntervalVector>& u,
TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
36 const TFunction& f()
const;
...
Definition: codac2_CtcDiffInclusion.h:30
TimePropag
Specifies the temporal propagation way (forward or backward in time)
Definition: codac_DynCtc.h:27