non-pointer implementation of ODEManager