/*
 *   This file was automatically generated by version 1.7 of cextract.
 *   Manual editing not recommended.
 */

#ifndef __CEXTRACT__
#ifdef __STDC__

extern void FontOrig ( ptrfont font,
                       char firstchar,
                       int *pX,
                       int *pY );
extern void DrawChar ( unsigned char car,
                       int frame,
                       int x,
                       int y,
                       ptrfont font,
                       int RO,
                       int active,
                       int fg );
extern int DrawString ( char *buff,
                        int i,
                        int lg,
                        int frame,
                        int x,
                        int y,
                        ptrfont font,
                        int lgboite,
                        int bl,
                        int hyphen,
                        int debutbloc,
                        int RO,
                        int active,
                        int fg );
extern void DisplayUnderline ( int frame,
                               int x,
                               int y,
                               ptrfont font,
                               int type,
                               int thick,
                               int lg,
                               int RO,
                               int active,
                               int fg );
extern void DrawPoints ( int frame,
                         int x,
                         int y,
                         int lgboite,
                         int RO,
                         int active,
                         int fg );
extern void DrawRadical ( int frame,
                          int thick,
                          int x,
                          int y,
                          int l,
                          int h,
                          ptrfont font,
                          int RO,
                          int active,
                          int fg );
extern void DrawIntegral ( int frame,
                           int thick,
                           int x,
                           int y,
                           int l,
                           int h,
                           int type,
                           ptrfont font,
                           int RO,
                           int active,
                           int fg );
extern void DrawSigma ( int frame,
                        int x,
                        int y,
                        int l,
                        int h,
                        ptrfont font,
                        int RO,
                        int active,
                        int fg );
extern void DrawPi ( int frame,
                     int x,
                     int y,
                     int l,
                     int h,
                     ptrfont font,
                     int RO,
                     int active,
                     int fg );
extern void DrawIntersection ( int frame,
                               int x,
                               int y,
                               int l,
                               int h,
                               ptrfont font,
                               int RO,
                               int active,
                               int fg );
extern void DrawUnion ( int frame,
                        int x,
                        int y,
                        int l,
                        int h,
                        ptrfont font,
                        int RO,
                        int active,
                        int fg );
extern void DrawArrow ( int frame,
                        int thick,
                        int style,
                        int x,
                        int y,
                        int l,
                        int h,
                        int orientation,
                        int RO,
                        int active,
                        int fg );
extern void DrawBracket ( int frame,
                          int thick,
                          int x,
                          int y,
                          int l,
                          int h,
                          int direction,
                          ptrfont font,
                          int RO,
                          int active,
                          int fg );
extern void DrawParenthesis ( int frame,
                              int thick,
                              int x,
                              int y,
                              int l,
                              int h,
                              int direction,
                              ptrfont font,
                              int RO,
                              int active,
                              int fg );
extern void DrawBrace ( int frame,
                        int thick,
                        int x,
                        int y,
                        int l,
                        int h,
                        int direction,
                        ptrfont font,
                        int RO,
                        int active,
                        int fg );
extern void DrawRectangle ( int frame,
                            int thick,
                            int style,
                            int x,
                            int y,
                            int width,
                            int height,
                            int RO,
                            int active,
                            int fg,
                            int bg,
                            int pattern );
extern void DrawDiamond ( int frame,
                          int thick,
                          int style,
                          int x,
                          int y,
                          int width,
                          int height,
                          int RO,
                          int active,
                          int fg,
                          int bg,
                          int pattern );
extern void DrawSegments ( int frame,
                           int thick,
                           int style,
                           int x,
                           int y,
                           PtrTextBuffer buffer,
                           int nb,
                           int RO,
                           int active,
                           int fg,
                           int arrow );
extern void DrawPolygon ( int frame,
                          int thick,
                          int style,
                          int x,
                          int y,
                          PtrTextBuffer buffer,
                          int nb,
                          int RO,
                          int active,
                          int fg,
                          int bg,
                          int pattern );
extern void DrawCurb ( int frame,
                       int thick,
                       int style,
                       int x,
                       int y,
                       PtrTextBuffer buffer,
                       int nb,
                       int RO,
                       int active,
                       int fg,
                       int arrow,
                       C_points * controls );
extern void DrawSpline ( int frame,
                         int thick,
                         int style,
                         int x,
                         int y,
                         PtrTextBuffer buffer,
                         int nb,
                         int RO,
                         int active,
                         int fg,
                         int bg,
                         int pattern,
                         C_points * controls );
extern void DrawOval ( int frame,
                       int thick,
                       int style,
                       int x,
                       int y,
                       int width,
                       int height,
                       int RO,
                       int active,
                       int fg,
                       int bg,
                       int pattern );
extern void DrawEllips ( int frame,
                         int thick,
                         int style,
                         int x,
                         int y,
                         int width,
                         int height,
                         int RO,
                         int active,
                         int fg,
                         int bg,
                         int pattern );
extern void DrawHorizontalLine ( int frame,
                                 int thick,
                                 int style,
                                 int x,
                                 int y,
                                 int l,
                                 int h,
                                 int align,
                                 int RO,
                                 int active,
                                 int fg );
extern void DrawVerticalLine ( int frame,
                               int thick,
                               int style,
                               int x,
                               int y,
                               int l,
                               int h,
                               int align,
                               int RO,
                               int active,
                               int fg );
extern void DrawSlash ( int frame,
                        int thick,
                        int style,
                        int x,
                        int y,
                        int l,
                        int h,
                        int direction,
                        int RO,
                        int active,
                        int fg );
extern void DrawCorner ( int frame,
                         int thick,
                         int style,
                         int x,
                         int y,
                         int l,
                         int h,
                         int corner,
                         int RO,
                         int active,
                         int fg );
extern void DrawRectangleFrame ( int frame,
                                 int thick,
                                 int style,
                                 int x,
                                 int y,
                                 int width,
                                 int height,
                                 int RO,
                                 int active,
                                 int fg,
                                 int bg,
                                 int pattern );
extern void DrawEllipsFrame ( int frame,
                              int thick,
                              int style,
                              int x,
                              int y,
                              int width,
                              int height,
                              int RO,
                              int active,
                              int fg,
                              int bg,
                              int pattern );
extern void StorePageInfo ( int pagenum,
                            int width,
                            int height );
extern void psBoundingBox ( int frame,
                            int width,
                            int height );
extern void SetMainWindowBackgroundColor (int frame,
					  int color);
extern void Clear ( int frame,
                    int width,
                    int height,
                    int x,
                    int y );
extern void WChaine ( ThotWindow w,
                      char *string,
                      int x,
                      int y,
                      ptrfont font,
                      ThotGC GClocal );
extern void VideoInvert ( int frame,
                          int width,
                          int height,
                          int x,
                          int y );
extern void Scroll ( int frame,
                     int width,
                     int height,
                     int xd,
                     int yd,
                     int xf,
                     int yf );
extern int EndOfString ( char *string,
                         char *suffix );
extern void XFlushOutput ( int frame );
extern void PaintWithPattern ( int frame,
                               int x,
                               int y,
                               int width,
                               int height,
                               ThotWindow w,
                               int RO,
                               int active,
                               int fg,
                               int bg,
                               int pattern );

#else /* __STDC__ */

extern void FontOrig (/* ptrfont font,
                         char firstchar,
                         int *pX,
                         int *pY */);
extern void DrawChar (/* unsigned char car,
                         int frame,
                         int x,
                         int y,
                         ptrfont font,
                         int RO,
                         int active,
                         int fg */);
extern int DrawString (/* char *buff,
                          int i,
                          int lg,
                          int frame,
                          int x,
                          int y,
                          ptrfont font,
                          int lgboite,
                          int bl,
                          int hyphen,
                          int debutbloc,
                          int RO,
                          int active,
                          int fg */);
extern void DisplayUnderline (/* int frame,
                                 int x,
                                 int y,
                                 ptrfont font,
                                 int type,
                                 int thick,
                                 int lg,
                                 int RO,
                                 int active,
                                 int fg */);
extern void DrawPoints (/* int frame,
                           int x,
                           int y,
                           int lgboite,
                           int RO,
                           int active,
                           int fg */);
extern void DrawRadical (/* int frame,
                            int thick,
                            int x,
                            int y,
                            int l,
                            int h,
                            ptrfont font,
                            int RO,
                            int active,
                            int fg */);
extern void DrawIntegral (/* int frame,
                             int thick,
                             int x,
                             int y,
                             int l,
                             int h,
                             int type,
                             ptrfont font,
                             int RO,
                             int active,
                             int fg */);
extern void DrawSigma (/* int frame,
                          int x,
                          int y,
                          int l,
                          int h,
                          ptrfont font,
                          int RO,
                          int active,
                          int fg */);
extern void DrawPi (/* int frame,
                       int x,
                       int y,
                       int l,
                       int h,
                       ptrfont font,
                       int RO,
                       int active,
                       int fg */);
extern void DrawIntersection (/* int frame,
                                 int x,
                                 int y,
                                 int l,
                                 int h,
                                 ptrfont font,
                                 int RO,
                                 int active,
                                 int fg */);
extern void DrawUnion (/* int frame,
                          int x,
                          int y,
                          int l,
                          int h,
                          ptrfont font,
                          int RO,
                          int active,
                          int fg */);
extern void DrawArrow (/* int frame,
                          int thick,
                          int style,
                          int x,
                          int y,
                          int l,
                          int h,
                          int orientation,
                          int RO,
                          int active,
                          int fg */);
extern void DrawBracket (/* int frame,
                            int thick,
                            int x,
                            int y,
                            int l,
                            int h,
                            int direction,
                            ptrfont font,
                            int RO,
                            int active,
                            int fg */);
extern void DrawParenthesis (/* int frame,
                                int thick,
                                int x,
                                int y,
                                int l,
                                int h,
                                int direction,
                                ptrfont font,
                                int RO,
                                int active,
                                int fg */);
extern void DrawBrace (/* int frame,
                          int thick,
                          int x,
                          int y,
                          int l,
                          int h,
                          int direction,
                          ptrfont font,
                          int RO,
                          int active,
                          int fg */);
extern void DrawRectangle (/* int frame,
                              int thick,
                              int style,
                              int x,
                              int y,
                              int width,
                              int height,
                              int RO,
                              int active,
                              int fg,
                              int bg,
                              int pattern */);
extern void DrawDiamond (/* int frame,
                            int thick,
                            int style,
                            int x,
                            int y,
                            int width,
                            int height,
                            int RO,
                            int active,
                            int fg,
                            int bg,
                            int pattern */);
extern void DrawSegments (/* int frame,
                             int thick,
                             int style,
                             int x,
                             int y,
                             PtrTextBuffer buffer,
                             int nb,
                             int RO,
                             int active,
                             int fg,
                             int arrow */);
extern void DrawPolygon (/* int frame,
                            int thick,
                            int style,
                            int x,
                            int y,
                            PtrTextBuffer buffer,
                            int nb,
                            int RO,
                            int active,
                            int fg,
                            int bg,
                            int pattern */);
extern void DrawCurb (/* int frame,
                         int thick,
                         int style,
                         int x,
                         int y,
                         PtrTextBuffer buffer,
                         int nb,
                         int RO,
                         int active,
                         int fg,
                         int arrow,
                         C_points * controls */);
extern void DrawSpline (/* int frame,
                           int thick,
                           int style,
                           int x,
                           int y,
                           PtrTextBuffer buffer,
                           int nb,
                           int RO,
                           int active,
                           int fg,
                           int bg,
                           int pattern,
                           C_points * controls */);
extern void DrawOval (/* int frame,
                         int thick,
                         int style,
                         int x,
                         int y,
                         int width,
                         int height,
                         int RO,
                         int active,
                         int fg,
                         int bg,
                         int pattern */);
extern void DrawEllips (/* int frame,
                           int thick,
                           int style,
                           int x,
                           int y,
                           int width,
                           int height,
                           int RO,
                           int active,
                           int fg,
                           int bg,
                           int pattern */);
extern void DrawHorizontalLine (/* int frame,
                                   int thick,
                                   int style,
                                   int x,
                                   int y,
                                   int l,
                                   int h,
                                   int align,
                                   int RO,
                                   int active,
                                   int fg */);
extern void DrawVerticalLine (/* int frame,
                                 int thick,
                                 int style,
                                 int x,
                                 int y,
                                 int l,
                                 int h,
                                 int align,
                                 int RO,
                                 int active,
                                 int fg */);
extern void DrawSlash (/* int frame,
                          int thick,
                          int style,
                          int x,
                          int y,
                          int l,
                          int h,
                          int direction,
                          int RO,
                          int active,
                          int fg */);
extern void DrawCorner (/* int frame,
                           int thick,
                           int style,
                           int x,
                           int y,
                           int l,
                           int h,
                           int corner,
                           int RO,
                           int active,
                           int fg */);
extern void DrawRectangleFrame (/* int frame,
                                   int thick,
                                   int style,
                                   int x,
                                   int y,
                                   int width,
                                   int height,
                                   int RO,
                                   int active,
                                   int fg,
                                   int bg,
                                   int pattern */);
extern void DrawEllipsFrame (/* int frame,
                                int thick,
                                int style,
                                int x,
                                int y,
                                int width,
                                int height,
                                int RO,
                                int active,
                                int fg,
                                int bg,
                                int pattern */);
extern void StorePageInfo (/* int pagenum,
                              int width,
                              int height */);
extern void psBoundingBox (/* int frame,
                              int width,
                              int height */);
extern void SetMainWindowBackgroundColor (/* int frame,
					  int color */);
extern void Clear (/* int frame,
                      int width,
                      int height,
                      int x,
                      int y */);
extern void WChaine (/* ThotWindow w,
                        char *string,
                        int x,
                        int y,
                        ptrfont font,
                        ThotGC GClocal */);
extern void VideoInvert (/* int frame,
                            int width,
                            int height,
                            int x,
                            int y */);
extern void Scroll (/* int frame,
                       int width,
                       int height,
                       int xd,
                       int yd,
                       int xf,
                       int yf */);
extern int EndOfString (/* char *string,
                           char *suffix */);
extern void XFlushOutput (/* int frame */);
extern void PaintWithPattern (/* int frame,
                                 int x,
                                 int y,
                                 int width,
                                 int height,
                                 ThotWindow w,
                                 int RO,
                                 int active,
                                 int fg,
                                 int bg,
                                 int pattern */);

#endif /* __STDC__ */
#endif /* __CEXTRACT__ */