equation.h
Go to the documentation of this file.
297 void EquationFromLinearConstraintProduct(TLinearConstraint *lc1,TLinearConstraint *lc2,Tequation *eq);
468 boolean CleanInfEquation(Tequation *eq_in,Tinterval *varValues,boolean *changed,Tequation *eq_out);
504 boolean IsSimplificable(unsigned int simpLevel,unsigned int nTerms,boolean *systemVars,Tbox *cb,
Definition of the boolean type. double EvaluateEquation(double *varValues, Tequation *eq) Evaluates an equation in a given point. Definition: equation.c:1633 void AccumulateEquations(Tequation *eqn, double ct, Tequation *eq) Adds a scaled equation to another equation. Definition: equation.c:366 void CopyEquation(Tequation *eq_dst, Tequation *eq_orig) Copy constructor. Definition: equation.c:216 Definition of the Tvariable_set type and the associated functions. void GenerateCrossProductEquations(unsigned int v1x, unsigned int v1y, unsigned int v1z, unsigned int v2x, unsigned int v2y, unsigned int v2z, unsigned int v3x, unsigned int v3y, unsigned int v3z, unsigned int vs, double s, Tequation *eq) Construtor. Generates the three equations of the cross product of two unitary vectors. Definition: equation.c:1464 void GenerateScaledParabolaEquation(double s, unsigned int vx, unsigned int vy, Tequation *eq) Construtor. Generates a scaled parabola equation. Definition: equation.c:1366 unsigned int GetEquationCmp(Tequation *eq) Gets the type of relational operator of the equation. Definition: equation.c:1139 void GenerateGeneralNormEquation(unsigned int nv, unsigned int *v, double n, Tequation *eq) Construtor. Generates an equation that is the norm of a vector. Definition: equation.c:1443 void GenerateSaddleEquation(unsigned int vx, unsigned int vy, unsigned int vz, Tequation *eq) Construtor. Generates a saddle equation. Definition: equation.c:1392 Definition of the Tvariables type and the associated functions. void GenerateScaledSaddleEquation(double s, unsigned int vx, unsigned int vy, unsigned int vz, Tequation *eq) Construtor. Generates a scaled saddle equation. Definition: equation.c:1398 void VarAccumulateEquations(Tequation *eqn, unsigned int v, Tequation *eq) Adds an equation scaled with a variable to another equation. Definition: equation.c:377 boolean CleanInfEquation(Tequation *eq_in, Tinterval *varValues, boolean *changed, Tequation *eq_out) Removes the monomials that evaluate to inf. Definition: equation.c:752 boolean ParabolaEquation(Tequation *eq) Identify scaled parabola equations. Definition: equation.c:1121 void SetEquationValue(double v, Tequation *eq) Changes the right-hand value of the equation. Definition: equation.c:1026 boolean BilinealMonomialEquation(Tequation *eq) Identify single bilineal monomial equations. Definition: equation.c:1109 Mapping between the sets of variables in two different cuiksystems. Definition: csmapping.h:53 void LinearEquation2LinearConstraint(TLinearConstraint *lc, Tequation *eq) Converts a linear equation into a linear constraint. Definition: equation.c:1597 void GetEquationBounds(Tinterval *bounds, Tequation *eq) Returns the right-hand side of the equation in the form of an interval. Definition: equation.c:1154 void ProductEquations(Tequation *eq1, Tequation *eq2, Tequation *eqOut) Product of two equations. Definition: equation.c:398 Tmonomial * GetMonomial(unsigned int i, Tequation *eq) Gets a monomial from an equation. Definition: equation.c:1584 void GenerateParabolaEquation(unsigned int vx, unsigned int vy, Tequation *eq) Construtor. Generates a parabola equation. Definition: equation.c:1361 void EquationFromLinearConstraint(TLinearConstraint *lc, Tequation *eq) Defines a new equation from a linear constraint. Definition: equation.c:106 void RewriteEquation2Orig(Tmapping *map, Tequation *eqOut, Tequation *eq) Applies the un-simplification mapping to an equation. Definition: equation.c:321 void EvaluateEquationInt(Tinterval *varValues, Tinterval *i_out, Tequation *eq) Interval evaluation of an equation. Definition: equation.c:1649 Tvariable_set * GetEquationVariables(Tequation *eq) Gets the set of variables equation used in the equation. Definition: equation.c:1178 void SetEquationCmp(unsigned int cmp, Tequation *eq) Changes the relational operator (LEQ, GEQ, EQU) of the equation. Definition: equation.c:1018 void GenerateDotProductEquation(unsigned int v1x, unsigned int v1y, unsigned int v1z, unsigned int v2x, unsigned int v2y, unsigned int v2z, unsigned int vc, double c, Tequation *eq) Construtor. Generates the equation of the dot product of two unitary vectors. Definition: equation.c:1526 void VarScaleEquation(unsigned int v, Tequation *eq) Scales an equation with a variable factor. Definition: equation.c:669 void RewriteEquation2Simp(double epsilon, Tmapping *map, Tequation *eqOut, Tequation *eq) Applies the simplification mapping to an equation. Definition: equation.c:237 unsigned int FindMonomial(Tmonomial *f, Tequation *eq) Searches for a given monomial in the equation. Definition: equation.c:1561 unsigned int CmpEquations(Tequation *eq1, Tequation *eq2) Equation comparison. Definition: equation.c:1188 void AddScaledMonomial(double sc, Tmonomial *f, Tequation *eq) Adds a new scaled monomial to the equation. Definition: equation.c:1263 void AddMonomial(Tmonomial *f, Tequation *eq) Adds a new monomial to the equation. Definition: equation.c:1356 void PrintMonomials(FILE *f, char **varNames, Tequation *eq) Prints an equation as a set if monomials. Definition: equation.c:1692 double EvaluateWholeEquation(double *varValues, Tequation *eq) Evaluates an equation in a given point. Definition: equation.c:1615 boolean IsSimplificable(unsigned int simpLevel, unsigned int nTerms, boolean *systemVars, Tbox *cb, unsigned int *v, TLinearConstraint *lc, Tequation *eq) Identify equations than can trigger variable simplifications. Definition: equation.c:840 double GetEquationValue(Tequation *eq) Gets the right-hand value of the equation. Definition: equation.c:1149 unsigned int GetNumMonomials(Tequation *eq) Number of monomials in an equation. Definition: equation.c:1592 void SetEquationType(unsigned int type, Tequation *eq) Changes the type of the equation (SYSTEM_EQ, CARTESIAN_EQ, DUMMY_EQ, DERIVED_EQ). ... Definition: equation.c:1013 void GenerateNormEquation(unsigned int vx, unsigned int vy, unsigned int vz, double n, Tequation *eq) Construtor. Generates an equation that is the norm of a 3d vector. Definition: equation.c:1431 Definition of the Tmapping type and the associated functions. Definition of the Tmonomial type and the associated functions. unsigned int GetEquationNumVariables(Tequation *eq) Gets the number of variables equation used in the equation. Definition: equation.c:1183 void CtScaleEquation(double ct, Tequation *eq) Scales an equation by a constant factor. Definition: equation.c:652 Definition of the TLinearConstraint type and the associated functions. void PrintEquation(FILE *f, char **varNames, Tequation *eq) Prints an equation. Definition: equation.c:1714 void EquationFromLinearConstraintProduct(TLinearConstraint *lc1, TLinearConstraint *lc2, Tequation *eq) Defines a new equation from the product of two linear constraints. Definition: equation.c:156 void DeriveEquation(unsigned int nv, Tequation *d, Tequation *eq) Derives an equation. Definition: equation.c:1665 unsigned int ReplaceVariableInEquation(double epsilon, unsigned int nv, TLinearConstraint *lc, Tequation *eq) Replaces a variable. Definition: equation.c:481 unsigned int FixVariableInEquation(double epsilon, unsigned int nv, double b, Tequation *eq) Turns a variable into a constant. Definition: equation.c:461 Definition of the Tinterval type and the associated functions. |
Follow us!