csmapping.c
Go to the documentation of this file.
boolean Intersection(Tinterval *i1, Tinterval *i2, Tinterval *i_out) Computes the intersection of two intervals. Definition: interval.c:285 Tinterval * GetBoxInterval(unsigned int n, Tbox *b) Returns a pointer to one of the intervals defining the box. Definition: box.c:270 void SaveMapping(FILE *f, Tmapping *m) Saves the mapping information into a file. Definition: csmapping.c:291 unsigned int NVariables(Tvariables *vs) Gets the number of variables in a set. Definition: variables.c:69 void GetVariableNames(char **varNames, Tvariables *vs) Gets the name for all the variables in the set. Definition: variables.c:234 unsigned int GetVarIDInOriginal(unsigned int v, Tmapping *m) Gets the original identifier of a simplified variable. Definition: csmapping.c:135 void SetBoxInterval(unsigned int n, Tinterval *is, Tbox *b) Replaces a particular interval in a box. Definition: box.c:259 void IntervalAdd(Tinterval *i1, Tinterval *i2, Tinterval *i_out) Addition of two intervals. Definition: interval.c:418 void SetOriginalVarRelation(unsigned int nvo, TLinearConstraint *lc, Tmapping *m) Set a relation for a variable in the original set. Definition: csmapping.c:100 void LoadLinearConstraint(FILE *f, TLinearConstraint *lc) Constructor. Loads the linear constraint from a file. Definition: linear_constraint.c:612 unsigned int GetSizeSimple(Tmapping *m) Size of the variable set in the simplified system. Definition: csmapping.c:125 void IntervalInvert(Tinterval *i, Tinterval *i_out) Change of sign of a given interval. Definition: interval.c:456 void PrintLinearConstraint(FILE *f, boolean eq, char **varName, TLinearConstraint *lc) Prints a linear constraint. Definition: linear_constraint.c:548 Mapping between the sets of variables in two different cuiksystems. Definition: csmapping.h:53 void PointFromVariables(double **p, Tvariables *vs) Creates a point from the center of the ranges of a set of variables. Definition: variables.c:294 void AddTerm2LinearConstraint(unsigned int ind, double val, TLinearConstraint *lc) Adds a scaled variable to the linear constraint. Definition: linear_constraint.c:106 void UpdateOriginalPointFromSimple(double *s, double *o, Tmapping *m) Gets a original point from an simplified one. Definition: csmapping.c:199 void CopyVariables(Tvariables *vs_dst, Tvariables *vs_src) Copy onstructor. Definition: variables.c:40 void EvaluateLinearConstraintInt(Tinterval *varValues, Tinterval *i_out, TLinearConstraint *lc) Interval evaluation of a linear constraint. Definition: linear_constraint.c:531 void CopyLinearConstraint(TLinearConstraint *lc_dst, TLinearConstraint *lc_src) Copy constructor. Definition: linear_constraint.c:31 unsigned int GetVariableID(char *name, Tvariables *vs) Gets the variable identifier (i.e., its position in the set) given a variable name. Definition: variables.c:201 Definitions of constants and macros used in several parts of the cuik library. void UpdateOriginalFromSimple(Tbox *s, Tbox *o, Tmapping *m) Gets a original box from an simplified one. Definition: csmapping.c:177 unsigned int GetSizeOriginal(Tmapping *m) Size of the variable set in the original system. Definition: csmapping.c:120 void GetLinearConstraintError(Tinterval *error, TLinearConstraint *lc) Gets the right-hand side interval for the linear constraint. Definition: linear_constraint.c:86 #define NO_UINT Used to denote an identifier that has not been initialized. Definition: defines.h:435 Tvariable * GetVariable(unsigned int n, Tvariables *vs) Gets the information of a variable given its number in the set (i.e., its identifier). Definition: variables.c:189 void SimplePointFromOriginal(double *o, double **s, Tmapping *m) Gets a simple point from an original one. Definition: csmapping.c:165 void SimpleFromOriginal(Tbox *o, Tbox *s, Tmapping *m) Gets a simple box from an original one. Definition: csmapping.c:143 Tinterval * GetBoxIntervals(Tbox *b) Returns a pointer to the array of intervals defining the box. Definition: box.c:284 void LoadMapping(FILE *f, Tmapping *m) Constructor. Loads the mapping information from a file. Definition: csmapping.c:266 void GetOriginalVarRelation(unsigned int nvo, TLinearConstraint *lc, Tmapping *m) Gets the relation for a variable in the original set with the variables in the simple set... Definition: csmapping.c:112 Definition of the Tmapping type and the associated functions. double EvaluateLinearConstraint(double *varValues, TLinearConstraint *lc) Evaluates a linear combination for a given point. Definition: linear_constraint.c:519 boolean IsInSimple(unsigned int v, Tmapping *m) Identify original variables also present in the simple system. Definition: csmapping.c:130 void BoxFromVariables(Tbox *b, Tvariables *vs) Creates a box from the ranges of a set of variables. Definition: variables.c:283 void SaveLinearConstraint(FILE *f, TLinearConstraint *lc) Saves the linear constraint into a file. Definition: linear_constraint.c:600 |
Follow us!