#include <QtGui/qtextdocument.h>
#ifndef QTEXTDOCUMENT_H
class QTextDocument: public QObject{
   /* Some contents are skipped to improve readability */
   public: bool isRedoAvailable() const
   /* ... */
};
#endif // QTEXTDOCUMENT_H