linear_constraint.h
Go to the documentation of this file.
382 boolean CmpLinearConstraints(double *scaleOne2Two,TLinearConstraint *lc1,TLinearConstraint *lc2);
Definition of the boolean type. boolean SimplifyLinearConstraint(boolean *full, Tinterval *is, TLinearConstraint *lc) Apply linear constraints to reduce the ranges of the problem variables. Definition: linear_constraint.c:263 double * GetLinearConstraintCoefficients(TLinearConstraint *lc) Gets the linear constraint coefficients. Definition: linear_constraint.c:54 Definition of the Tvariables type and the associated functions. boolean LinearConstraintIncludes(unsigned int ind, TLinearConstraint *lc) Checks if a variable is included in a linear constraint. Definition: linear_constraint.c:166 void LoadLinearConstraint(FILE *f, TLinearConstraint *lc) Constructor. Loads the linear constraint from a file. Definition: linear_constraint.c:612 unsigned int GetLinearConstraintVariable(unsigned int i, TLinearConstraint *lc) Gets the a particular variable index. Definition: linear_constraint.c:75 void PrintLinearConstraint(FILE *f, boolean eq, char **varName, TLinearConstraint *lc) Prints a linear constraint. Definition: linear_constraint.c:548 void InvertLinearConstraint(TLinearConstraint *lc) Changes the sign of a linear constraint. Definition: linear_constraint.c:182 void AddTerm2LinearConstraint(unsigned int ind, double val, TLinearConstraint *lc) Adds a scaled variable to the linear constraint. Definition: linear_constraint.c:106 void ResetLinearConstraint(TLinearConstraint *lc) Resets a linear constraint. Definition: linear_constraint.c:25 void EvaluateLinearConstraintInt(Tinterval *varValues, Tinterval *i_out, TLinearConstraint *lc) Interval evaluation of a linear constraint. Definition: linear_constraint.c:531 boolean CmpLinearConstraints(double *scaleOne2Two, TLinearConstraint *lc1, TLinearConstraint *lc2) Compares two linear constraints. Definition: linear_constraint.c:456 void CopyLinearConstraint(TLinearConstraint *lc_dst, TLinearConstraint *lc_src) Copy constructor. Definition: linear_constraint.c:31 Definition of the Tbox type and the associated functions. void ScaleLinearConstraint(double a, TLinearConstraint *lc) Scales a linear constraint. Definition: linear_constraint.c:192 double RemoveTermFromLinearConstraint(unsigned int ind, TLinearConstraint *lc) Removes a variable from a linear constraint. Definition: linear_constraint.c:136 boolean BoundedLinearConstraint(TLinearConstraint *lc) Test if the constraint is bounded. Definition: linear_constraint.c:44 unsigned int * GetLinearConstraintVariables(TLinearConstraint *lc) Gets the linear constraint variables. Definition: linear_constraint.c:70 unsigned int GetNumTermsInLinearConstraint(TLinearConstraint *lc) Number of variables in a linear constraint. Definition: linear_constraint.c:49 void GetLinearConstraintError(Tinterval *error, TLinearConstraint *lc) Gets the right-hand side interval for the linear constraint. Definition: linear_constraint.c:86 unsigned int CropLinearConstraint(double epsilon, unsigned int varType, Tbox *b, Tvariables *vs, TLinearConstraint *lc) Reduce the ranges for. Definition: linear_constraint.c:297 void AddCt2LinearConstraint(double ct, TLinearConstraint *lc) Adds a constant term to the linear constraint. Definition: linear_constraint.c:101 void AddLinearConstraints(TLinearConstraint *lc1, TLinearConstraint *lc) Adds one linear constraint to another. Definition: linear_constraint.c:209 void SetLinearConstraintError(Tinterval *error, TLinearConstraint *lc) Sets a new righ-hand side error of the linear constraint. Definition: linear_constraint.c:96 double GetLinearConstraintCoefficient(unsigned int i, TLinearConstraint *lc) Gets the a particular linear constraint coefficient. Definition: linear_constraint.c:59 double EvaluateLinearConstraint(double *varValues, TLinearConstraint *lc) Evaluates a linear combination for a given point. Definition: linear_constraint.c:519 void CleanLinearConstraint(double epsilon, Tinterval *is, TLinearConstraint *lc) Removes terms in the linear constraint that give too small ranges. Definition: linear_constraint.c:232 void SaveLinearConstraint(FILE *f, TLinearConstraint *lc) Saves the linear constraint into a file. Definition: linear_constraint.c:600 double GetLinearConstraintErrorSize(TLinearConstraint *lc) Gets the size of the right-hand side interval for the linear constraint. Definition: linear_constraint.c:91 Definition of the Tinterval type and the associated functions. |
Follow us!