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);