cuiksimplify.c

Go to the documentation of this file.

#include "cuiksystem.h"
#include "parameters.h"

#include "defines.h"
#include "error.h"
#include "filename.h"

#include <string.h>
#include <stdlib.h>
#include <time.h>
#include <unistd.h>


int main(int argc, char **arg)
{
  TCuikSystem cuiksystem;  /* The set of equations */
  Tparameters parameters;  /* Parameters used in the Cuik process */

  Tfilename fcuik;
  Tfilename fcuiksimp;
  Tfilename fparam;
  Tfilename fparamsimp;
  
  FILE *fs;
  
  if (argc>1)
    {
     
      /*Init parameters*/
      CreateFileName(NULL,arg[1],NULL,PARAM_EXT,&fparam);
      InitParametersFromFile(GetFileFullName(&fparam),&parameters);

      /*keep equations in the original form*/
      ChangeParameter(CT_DUMMIFY,0,&parameters);

      /*Read the problem from file*/
      CreateFileName(NULL,arg[1],NULL,CUIK_EXT,&fcuik);
      InitCuikSystemFromFile(&parameters,GetFileFullName(&fcuik),&cuiksystem);

      /*Save the simplified system (with a header with the human readable 
        simplification)*/
      CreateFileName(NULL,arg[1],"_simp",CUIK_EXT,&fcuiksimp);
      fs=fopen(GetFileFullName(&fcuiksimp),"w");
      if (!fs)
        Error("Could not open the output file for the simplified cuiksystem.");
      PrintCuikSystemWithSimplification(&parameters,fs,&cuiksystem);
      fclose(fs);

      /*symlink the parameter file*/
      CreateFileName(NULL,arg[1],"_simp",PARAM_EXT,&fparamsimp);
      symlink(GetFileFullName(&fparam),GetFileFullName(&fparamsimp));

      /*Remove the allocated objects*/
      DeleteParameters(&parameters);
      DeleteCuikSystem(&cuiksystem);

      DeleteFileName(&fparam);
      DeleteFileName(&fparamsimp);
      DeleteFileName(&fcuik);
      DeleteFileName(&fcuiksimp);

    }
 else
   {
     fprintf(stderr,"  Wrong number of parameters.\n");
     fprintf(stderr,"  Use:\n");   
     fprintf(stderr,"      cuiksimplify <problem filename>.cuik \n");
     fprintf(stderr,"  where <problem filename> contains the kinematic equations\n");
     fprintf(stderr,"    (the '.cuik' extension is not required)\n");
   }
  return(EXIT_SUCCESS);
}