1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <string.h> 4 #include <pthread.h> 5 6 #include <polylib/polylib64.h> 7 #include <gtk/gtk.h> 8 #include "gtk_ddraw.h" 9 #include "visutypes.h" 10 #include "gtk_properties.h" 11 12 13 #define true 1 14 #define false 0 15 #define DEBUG 0 16 17 extern Domain *insert_domain_in_list (char *name, ChainList lv, Polyhedron *pol, Domain *LD); 18 extern Domain *delete_domain_in_list (char *name, Domain *l); 19 extern void print_domain_list (Domain *l); 20 extern Domain *search_domain_in_list (char *name, Domain *l); 21 extern int name_already_exists (char *name, Domain *l); 22 extern void Domain_Cell_Free (Domain * cell); 23 extern void init_curr_vars (); 24 25 extern ChainList add_var_to_list (char *id, ChainList l); 26 extern ChainList free_l (ChainList l); 27 extern void Affiche_liste(ChainList l); 28 extern char ** chaintochar (ChainList l); 29 extern IndList search_var_in_list (char *Id, ChainList l); 30 31 extern IndList concat (IndList l, IndList m); 32 extern IndList neg (IndList l); 33 extern IndList mult (IndList l, Value v); 34 35 extern void Affiche_listeInd(IndList l); 36 37 extern ChainMatrix *add_matrix_to_list (char *name, ChainMatrix *l); 38 extern Matrix *search_matrix_in_list (char *name, ChainMatrix *l); 39 extern ChainMatrix *delete_matrix_in_list (char *name, ChainMatrix *l); 40 extern int mat_name_already_exists (char *name, ChainMatrix *l); 41 42 extern Domain * polyhedron_declaration (char *name, ChainList lv, Domain *LD); 43 extern Domain *gen_binop_pol (char *id1, char *id2, char *id3, char *polyhedron_operator, Domain *l); 44 extern Domain *gen_image (char *name, char *id_pol, char *id_mat, char *operation, Domain *LD); 45 extern void gen_ehrhart (char *id_pol, char *id_context, Domain *LD); 46 extern Domain *gen_disjoint (char *name, char *id_pol, Domain *LD); 47 extern Domain *gen_convex (char *name, char *id_pol, Domain *LD); 48 extern void gen_vert (char *id_pol, char *id_context, Domain *LD); 49 extern void VP_Print_Matrix (FILE *f, Matrix *M ); 50 extern void VP_Print_Domain (FILE *f, Polyhedron *D, char **param ); 51 extern void print_matrix_list (ChainMatrix *l); 52 extern void Rays_Print ( FILE *f, char *format, Polyhedron *D ); 53 extern void Constraints_Print ( FILE *f, char *format, Polyhedron *D ); 54 55 extern void help_print (void); 56 extern void graphic_actualize(); 57 extern void yyerror(char *s); 58 59