29 class CtcDiffInclusion
33 CtcDiffInclusion(
const TFunction& t);
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;