Go to the documentation of this file.
57 int main( int argc, char **arg)
69 fprintf(stderr, "Reading parameter file : %s\n", GetFileFullName(&fparam));
86 fprintf(stdout, " Wrong number of parameters.\n");
87 fprintf(stdout, " Use:\n");
88 fprintf(stdout, " cuikworld2world <world_in>.world <world_out>.world\n");
89 fprintf(stdout, " Where:\n");
90 fprintf(stdout, " <world_in> : File describing the problem\n");
91 fprintf(stdout, " <world_out>: File to generate.\n");
92 fprintf(stdout, " File extensions are not required\n");
|
Follow us!