00001
00002
00003
00004 void set_box(int xo, int yo, int xs, int ys);
00005 void nodraw_box();
00006 void draw_box(float xmin_in, float xmax_in, char *xlabel,
00007 float ymin_in, float ymax_in, char *ylabel);
00008 void add_label(char *label);
00009 void set_color(char *color);
00010 void plot(float *x, float *y, int n);
00011 void move_to(float x, float y);
00012 void draw_to(float x, float y);
00013 void point(float x, float y, float size);
00014 void get_mouse(float *x, float *y);
00015 void pause(int time);
00016 void clear_graphics();
00017 void exit_graphics();
00018
00019 void crop_gfx();
00020 void nocrop_gfx();
00021 void wait_for_mouse();
00022 int check_mouse();