+ /** 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 &);
+
+ /// Returns the number of animations currently affecting an object.
+ unsigned get_n_active_animations(const AnimatedObject &) const;
+
+ /// Stops all animations affecting an object.
+ void stop(AnimatedObject &);
+
+ /// Stops a single animation affecting an object.
+ void stop(AnimatedObject &, const Animation &);
+