Lines Matching refs:save_fset
886 set *save_fset=NULL;
964 save_fset=(set *) calloc (CLL_k+1,sizeof(set));
965 require (save_fset != NULL,"tAction save_fset alloc");
967 save_fset[i]=set_dup(fset[i]);
1009 if (save_fset != NULL) {
1012 fset[i]=save_fset[i];
1014 free ( (char *) save_fset);
1719 set *save_fset;
1740 save_fset=fset;
1783 fset=save_fset;
1936 set *save_fset;
1957 save_fset=fset;
2043 fset=save_fset;