cuiksystem.h
Go to the documentation of this file.
831 unsigned int MaxReduction(Tparameters *p,unsigned int varMask,double *r,Tbox *b,TCuikSystem *cs);
1432 void EvaluateSubSetSimpCSEquations(Tparameters *pr,boolean *se,double *p,double *r,TCuikSystem *cs);
unsigned int GenerateSimplifiedPoint(Tparameters *p, double *o, double **s, TCuikSystem *cs) Generates a simplified point. Definition: cuiksystem.c:4992 Definition of the boolean type. unsigned int MaxReduction(Tparameters *p, unsigned int varMask, double *r, Tbox *b, TCuikSystem *cs) Reduces a box as much as possible. Definition: cuiksystem.c:2955 void MPI_SolveCuikSystem(Tparameters *p, boolean restart, char *fstate, Tbox *searchSpace, FILE *f_out, TCuikSystem *cs) Determines the solution set for a cuiksystem. Main scheduler. Definition: cuiksystem.c:4369 boolean RegenerateSolution(Tparameters *p, Tbox *b, TCuikSystem *cs) Regenerates a box from the system variables. Definition: cuiksystem.c:4862 unsigned int CuikGradientInBox(Tparameters *p, Tbox *bIn, double *sol, Tbox *b_sol, TCuikSystem *cs) Applies gradient descent to a set of equations. Definition: cuiksystem.c:3961 void GenerateInitialBox(Tbox *box, TCuikSystem *cs) Gives the search space in the form of a box. Definition: cuiksystem.c:4849 unsigned int RegenerateSolutionPoint(Tparameters *p, double *pt, double **rp, TCuikSystem *cs) Regenerates a solution point from the system variables. Definition: cuiksystem.c:4926 double ErrorInSolution(Tbox *b, TCuikSystem *cs) Maximum error for a box. Definition: cuiksystem.c:5180 Definition of the Tvariables type and the associated functions. boolean SimpInequalitiesHoldOnPoint(Tparameters *pr, double *p, TCuikSystem *cs) Tests if all simplified inqualities hold for a given point. Definition: cuiksystem.c:5268 void AddEquation2CS(Tparameters *p, Tequation *eq, TCuikSystem *cs) Adds an equation to the system. Definition: cuiksystem.c:2502 void GetSimpCSJacobian(Tparameters *p, TJacobian *J, TCuikSystem *cs) Defines the Jacobian of a simplified CuikSystem. Definition: cuiksystem.c:2734 Definition of the TJacobian type and the associated functions. double ErrorInCSEquations(double *p, TCuikSystem *cs) Evalates the norm of the error in a point. Definition: cuiksystem.c:5120 void SaveCuikSystemSimplification(Tparameters *p, FILE *f, TCuikSystem *cs) Saves the simplification information associated with a cuiksystem. Definition: cuiksystem.c:5439 void PrintCuikSystemWithSimplification(Tparameters *p, FILE *f, TCuikSystem *cs) Prints the simplified cuiksystem. Definition: cuiksystem.c:5384 Definition of a table of Tconstants. unsigned int ComputeSplitDim(Tparameters *p, Tbox *b, TCuikSystem *cs) Determines the best dimensions to split a given box. Definition: cuiksystem.c:5036 unsigned int AddVariable2CS(Tvariable *v, TCuikSystem *cs) Adds a variable to the system. Definition: cuiksystem.c:2532 double ErrorInSimpCSEquations(Tparameters *pr, double *p, TCuikSystem *cs) Evaluates the norm of the error in a point for the simplified equations. Definition: cuiksystem.c:5140 void CuikSystemMerge(Tparameters *p, TCuikSystem *cs1, TCuikSystem *cs2, TCuikSystem *cs) Produces the union of two cuik systems. Definition: cuiksystem.c:2335 unsigned int GetCSNumNonDummyVariables(TCuikSystem *cs) Gets the number of non-dummy variables already in the cuiksystem. Definition: cuiksystem.c:2579 Mapping between the sets of variables in two different cuiksystems. Definition: csmapping.h:53 unsigned int ManifoldDimension(Tparameters *pr, double *p, TCuikSystem *cs) Computes the dimension of the solution space. Definition: cuiksystem.c:5312 Definition of the Tstatistics type and the associated functions. unsigned int GetCSNumVariables(TCuikSystem *cs) Gets the number of variables already in the cuiksystem. Definition: cuiksystem.c:2565 void SolveCuikSystem(Tparameters *p, boolean restart, char *fstate, Tbox *searchSpace, FILE *f_out, Tlist *sol, TCuikSystem *cs) Determines the solution set for a cuiksystem. Definition: cuiksystem.c:4192 Collection of methods to work on Tlist of boxes. void AddSimplifiedJacobianEquations(Tparameters *p, boolean *selectedVars, TCuikSystem *cs) Adds a linear combination of the Jacobian to the system. Definition: cuiksystem.c:2835 unsigned int GetCSNumSystemVariables(TCuikSystem *cs) Gets the number of system variables already in the cuiksystem. Definition: cuiksystem.c:2570 void AddJacobianEquations(Tparameters *p, boolean *selectedVars, TCuikSystem *cs) Adds linear a linear combination of the Jacobian to the system. Definition: cuiksystem.c:2805 void GenerateSimpInitialBox(Tparameters *p, Tbox *box, TCuikSystem *cs) Gives the search space in the form of a box for the simplified system. Definition: cuiksystem.c:4854 void CopyCuikSystem(TCuikSystem *cs_dst, TCuikSystem *cs_src) Copy constructor. Definition: cuiksystem.c:2216 void MPI_TreatBox(Tparameters *p, TCuikSystem *cs) Determines the solution set for a cuiksystem. Child process. Definition: cuiksystem.c:4756 char * GetCSVariableName(unsigned int id, TCuikSystem *cs) Gets a variable name. Definition: cuiksystem.c:2612 boolean PointInSystemBox(Tvector *v, Tbox *b, TCuikSystem *cs) Determines if a given point is fully included in the system sub-box (i.e., the sub-box fot the system... Definition: cuiksystem.c:5060 boolean IsCSPolynomial(TCuikSystem *cs) Identifies polynomial cuiksystems. Definition: cuiksystem.c:2696 unsigned int GetSimpCSTopology(Tparameters *p, unsigned int **t, TCuikSystem *cs) Topology of the variables in the simplified system. Definition: cuiksystem.c:2719 void PrintCuikSystem(Tparameters *p, FILE *f, TCuikSystem *cs) Prints a cuiksystem. Definition: cuiksystem.c:5359 void AddCuikSystemFromFile(Tparameters *p, char *filename, TCuikSystem *cs) Adds information from a file. Definition of the Tbox type and the associated functions. Definition of the Tlist type and the associated functions. unsigned int CuikNewtonSimp(Tparameters *p, double *x, TCuikSystem *cs) CuikNewton on the simplified system. Definition: cuiksystem.c:3618 void InitCuikSystemFromFile(Tparameters *p, char *filename, TCuikSystem *cs) Constructor from a file. void EvaluateCSEquations(double *p, double *r, TCuikSystem *cs) Evaluates the equation set on a point. Definition: cuiksystem.c:5087 boolean IsSystemVarInSimpCS(Tparameters *p, char *v, TCuikSystem *cs) Identifies system variables that survive in the simplified system. Definition: cuiksystem.c:2641 A table of parameters. boolean IncrementalSampleCuikSystem(Tparameters *p, char *fname, Tlist *sb, boolean *fixVars, unsigned int nsamples, unsigned int ntries, unsigned int ndof, TCuikSystem *cs) Generates samples for a cuiksystem. Definition: cuiksystem.c:3265 void EvaluateSimpCSEquations(Tparameters *pr, double *p, double *r, TCuikSystem *cs) Evaluates the simplified equation set on a point. Definition: cuiksystem.c:5092 void GetCSVariables(Tvariables *vs, TCuikSystem *cs) Gets the cuiksystem variables. Definition: cuiksystem.c:2550 void EvaluateCSJacobian(double *p, double ***J, TCuikSystem *cs) Evaluates the Jacobian of the system in a given point. Definition: cuiksystem.c:5108 void SetCSSearchMode(unsigned int sm, Tequation *eqMin, TCuikSystem *cs) Sets the search mode for the cuiksystem. Definition: cuiksystem.c:2433 void GetCSVariableNames(char **varNames, TCuikSystem *cs) Gets points to the variable names. Definition: cuiksystem.c:2555 boolean CuikNewton(Tparameters *p, double *sol, Tbox *b_sol, TCuikSystem *cs) Applies Newton-Rhapson to a set of equations. Definition: cuiksystem.c:3947 unsigned int CuikNewtonInBox(Tparameters *p, Tbox *bIn, double *sol, Tbox *b_sol, TCuikSystem *cs) Applies Newton-Rhapson to a set of equations. Definition: cuiksystem.c:3714 unsigned int GetCSSystemVars(boolean **sv, TCuikSystem *cs) Identifies the system variables. Definition: cuiksystem.c:2659 boolean IncrementalSampleCuikSystemInBox(Tparameters *p, char *fname, Tlist *sb, boolean *fixVars, unsigned int nsamples, unsigned int ntries, unsigned int ndof, Tbox *init_box, TCuikSystem *cs) Generates samples for a cuiksystem in given box. Definition: cuiksystem.c:3285 A cuiksystem, i.e., a set of variables and equations defining a position analysis problem... Definition: cuiksystem.h:181 void RegenerateOriginalBox(Tparameters *p, Tbox *boxS, Tbox *boxO, TCuikSystem *cs) Generates a box in the original cuiksystem from a box of the simplified one. Definition: cuiksystem.c:4967 void GetCSEquation(unsigned int n, Tequation *eq, TCuikSystem *cs) Gets the an equation from a cuiksystem. Definition: cuiksystem.c:2688 double EvaluateCSCost(Tparameters *p, boolean simp, double *s, void *cs) Evalutes the equation to minimize in a given point. Definition: cuiksystem.c:5162 Definition of the Tvector type and the associated functions. boolean InequalitiesHoldOnPoint(double *p, TCuikSystem *cs) Tests if all inqualities hold for a given point. Definition: cuiksystem.c:5248 double ErrorInInequalities(Tbox *b, TCuikSystem *cs) Maximum inequality error for a box. Definition: cuiksystem.c:5219 void GetCSEquations(Tequations *eqs, TCuikSystem *cs) Gets a copy of the system equations. Definition: cuiksystem.c:2680 double ErrorInSimpInequalitiesOnPoint(Tparameters *pr, double *p, TCuikSystem *cs) Computes the maximum error in all the simplified inqualities for a given point. Definition: cuiksystem.c:5291 unsigned int GetCSVariableID(char *name, TCuikSystem *cs) Gets the numerical identifier of a variable given its name. Definition: cuiksystem.c:2607 void SetCSVariableRange(unsigned int n, Tinterval *r, TCuikSystem *cs) Gets the range of a variable from a cuiksystem. Definition: cuiksystem.c:2595 boolean CuikGradient(Tparameters *p, double *sol, Tbox *b_sol, TCuikSystem *cs) Applies gradient descent to a set of equations. Definition: cuiksystem.c:4171 void EvaluateSubSetSimpCSEquations(Tparameters *pr, boolean *se, double *p, double *r, TCuikSystem *cs) Evaluates a subset of the simplified equation set on a point. Definition: cuiksystem.c:5100 char * GetCSSystemVariableName(unsigned int id, TCuikSystem *cs) Gets a system variable name. Definition: cuiksystem.c:2617 boolean SampleCuikSystem(Tparameters *p, char *fname, Tlist *sb, unsigned int nsamples, unsigned int ntries, unsigned int ndof, TCuikSystem *cs) Generates samples for a cuiksystem. Definition: cuiksystem.c:2988 void VerifyCuikSystem(Tparameters *p, TCuikSystem *cs) Checks the consistency of the cuiksystem. Definition: cuiksystem.c:2206 Definition of the Tmapping type and the associated functions. boolean SampleCuikSystemInBox(Tparameters *p, char *fname, Tlist *sb, unsigned int nsamples, unsigned int ntries, unsigned int ndof, Tbox *init_box, TCuikSystem *cs) Generates samples for a cuiksystem in given box. Definition: cuiksystem.c:3007 void AddMatrixEquation2CS(Tparameters *p, TMequation *eq, TCuikSystem *cs) Adds a matrix equation to the system. Definition: cuiksystem.c:2511 boolean CmpBoxesEquation(void *b1, void *b2, void *cs) Determines which box to explore first in minimization mode. Definition: cuiksystem.c:2428 unsigned int GetCSNumEquations(TCuikSystem *cs) Gets the number of equations already in the cuiksystem. Definition: cuiksystem.c:2709 Definition of the Tparameters type and the associated functions. void GetCSVariable(unsigned int n, Tvariable *v, TCuikSystem *cs) Gets the a variable from a cuiksystem. Definition: cuiksystem.c:2587 unsigned int GetCSVarTopology(unsigned int vID, TCuikSystem *cs) Determines the topology of a given variable. Definition: cuiksystem.c:2672 Definition of the Tequations type and the associated functions. void GetCSJacobian(TJacobian *J, TCuikSystem *cs) Defines the Jacobian of a CuikSystem. Definition: cuiksystem.c:2714 void AddTerm2SearchCriterion(double w, unsigned int v, double val, TCuikSystem *cs) Adds penalty terms to the search criterion. Definition: cuiksystem.c:2456 unsigned int RegenerateOriginalPoint(Tparameters *p, double *s, double **o, TCuikSystem *cs) Generates an original point from a simplified point. Definition: cuiksystem.c:4978 unsigned int SimplifyBooleanArray(Tparameters *p, boolean *bo, boolean **bs, TCuikSystem *cs) Transforms arrays of booleans from the original to the simplified system. Definition: cuiksystem.c:5002 unsigned int GetCSTopology(Tparameters *p, unsigned int **t, TCuikSystem *cs) Topology of the variables in the system. Definition: cuiksystem.c:2728 |
Follow us!