#include "WsfInstantAttitudeController.hpp"
#include "WsfPlatform.hpp"
#include "WsfSpaceMoverBase.hpp"