|
|
cuiksimplify.c File ReferenceMain body of the cuiksimplify application. More... #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> Go to the source code of this file.
Detailed DescriptionA utility to simplify problems. It takes a set of equations and try to reduce the number of variables (removing variables with constant range,....).
Definition in file cuiksimplify.c. Function Documentation
Main body of the cuiksimplify application. Use:
where
The .cuik extension is optional.
Definition at line 51 of file cuiksimplify.c. References ChangeParameter(), CreateFileName(), CT_DUMMIFY, CUIK_EXT, DeleteCuikSystem(), DeleteFileName(), DeleteParameters(), Error(), GetFileFullName(), InitCuikSystemFromFile(), InitParametersFromFile(), PARAM_EXT, and PrintCuikSystemWithSimplification().
Here is the call graph for this function:
|