+ /** Plays an animation, stacked with other animations. If no animations are
+ playing yet, the object's current matrix is used as the base. */
+ void play_stacked(AnimatedObject &, const Animation &);
+
+ /// Stops any animations affecting an object.
+ void stop(AnimatedObject &);
+