void print_tables (char* filename){
FILE* OUT = NULL;
int i, j;
if ( (OUT = fopen(filename, "w")) == NULL ) {
printf("\ncan't open file %s!\n\n",filename);
exit( 1 );
}
if (gcmd_line.display_info == 103 ) {
fprintf(OUT, "constants %d", gnum_constants);
for ( i = 0; i < gnum_constants; i++ ) {
fprintf(OUT, "\n%d %s", i, gconstants[i]);
}
fprintf(OUT, "\n\ntypes %d", gnum_types);
for ( i = 0; i < gnum_types; i++ ) {
fprintf(OUT, "\n%d %s ", i, gtype_names[i]);
for ( j = 0; j < gtype_size[i]; j++ ) {
fprintf(OUT, "%d ", gtype_consts[i][j]);
}
}
fprintf(OUT, "\n\npredicates %d", gnum_predicates);
for ( i = 0; i < gnum_predicates; i++ ) {
fprintf(OUT, "\n%3d %s ", i, gpredicates[i]);
for ( j = 0; j < garity[i]; j++ ) {
fprintf(OUT, "%d ", gpredicates_args_type[i][j]);
}
}
/*
fprintf(OUT, "\n\nfunctions %d", gnum_functions);
for ( i = 0; i < gnum_functions; i++ ) {
fprintf(OUT, "\n%3d %s: ", i, gfunctions[i]);
for ( j = 0; j < gf_arity[i]; j++ ) {
fprintf(OUT, "%d ", gfunctions_args_type[i][j]);
}
}*/
fprintf(OUT, "\n\nfacts %d", gnum_relevant_facts);
for ( i = 0; i < gnum_relevant_facts; i++ ) {
fprintf(OUT, "\n%d ", i);
print_Fact_file(OUT, &(grelevant_facts[i]));
}
/*
printf("\n\nfluents %d", gnum_relevant_fluents);
for ( i = 0; i < gnum_relevant_fluents; i++ ) {
printf("\n%d: ", i);
print_Fluent( &(grelevant_fluents[i]) );
}
*/
fprintf(OUT, "\n\n");
}
fclose(OUT);
}
void print_Fact( Fact *f )
{
print_Fact_file( stdout, f );
}