equation.h

Go to the documentation of this file.

#ifndef EQUATIONH
#define EQUATIONH 

#include "boolean.h"
#include "interval.h"
#include "variables.h"
#include "variable_set.h"
#include "monomial.h"
#include "linear_constraint.h"
#include "csmapping.h"

#include <stdlib.h>


#define MAX_TERMS_SIMP 1

/************************************************************************************/
#define INIT_NUM_MONOMIALS 100
/************************************************************************************/

/************************************************************************************/
#define LINEAR_EQUATION   0

#define CIRCLE_EQUATION   1

#define SADDLE_EQUATION   2

#define PARABOLA_EQUATION 3

#define SPHERE_EQUATION   4
/************************************************************************************/
/************************************************************************************/
#define BILINEAR_EQUATION 5

#define GENERAL_EQUATION  6

#define UNKNOWN_EQ_TYPE   7
/************************************************************************************/
/************************************************************************************/
#define SYSTEM_EQ   0

#define COORD_EQ    1

#define DUMMY_EQ    2

#define DERIVED_EQ  3

#define NOTYPE_EQ   4
/************************************************************************************/
/************************************************************************************/
#define GEQ    0

#define LEQ    1

#define EQU    2

#define NOCMP  3

/************************************************************************************/

typedef struct {
  unsigned int type; 
  unsigned int cmp; 
  unsigned int order; 
  double value; 
  unsigned int maxMonomials;
  unsigned int nMonomials;
  Tmonomial **monomials;
  Tvariable_set vars;
} Tequation;

void InitEquation(Tequation *eq);

void ResetEquation(Tequation *eq);


void EquationFromLinearConstraint(TLinearConstraint *lc,Tequation *eq);

void EquationFromLinearConstraintProduct(TLinearConstraint *lc1,TLinearConstraint *lc2,Tequation *eq);

void CopyEquation(Tequation *eq_dst,Tequation *eq_orig);

void RewriteEquation(double epsilon,Tmapping *map,Tequation *eqOut,Tequation *eq);

void AccumulateEquations(Tequation *eqn,double ct,Tequation *eq);

unsigned int FixVariableInEquation(double epsilon,unsigned int nv,double b,Tequation *eq);

unsigned int ReplaceVariableInEquation(double epsilon,unsigned int nv,
                                       TLinearConstraint *lc,Tequation *eq);

void CtScaleEquation(double ct,Tequation *eq);


void VarScaleEquation(unsigned int v,Tequation *eq);

void NormalizeEquation(Tequation *eq);

boolean IsSimplificable(unsigned int simpLevel,unsigned int nTerms,boolean *systemVars,
                        unsigned int *v,TLinearConstraint *lc,
                        Tequation *eq);

void SetEquationCmp(unsigned int cmp,Tequation *eq);

void SetEquationType(unsigned int type,Tequation *eq);


void SetEquationValue(double v,Tequation *eq);

boolean LinearEquation(Tequation *eq);

boolean BilinearEquation(Tequation *eq);

boolean CircleEquation(Tequation *eq);

boolean SphereEquation(Tequation *eq);

boolean SaddleEquation(Tequation *eq);


boolean ParabolaEquation(Tequation *eq);

unsigned int GetEquationCmp(Tequation *eq);

unsigned int GetEquationType(Tequation *eq);

double GetEquationValue(Tequation *eq);

unsigned int GetEquationOrder(Tequation *eq);

Tvariable_set *GetEquationVariables(Tequation *eq);

unsigned int GetEquationNumVariables(Tequation *eq);

unsigned int CmpEquations(Tequation *eq1,Tequation *eq2);

void AddMonomial(Tmonomial*f,Tequation *eq);

void GenerateParabolaEquation(unsigned int vx,unsigned int vy,Tequation *eq);

void GenerateScaledParabolaEquation(double s,unsigned int vx,unsigned int vy,Tequation *eq); 

void GenerateSaddleEquation(unsigned int vx,unsigned int vy,unsigned int vz,
                            Tequation *eq);


void GenerateScaledSaddleEquation(double s,
                                  unsigned int vx,unsigned int vy,unsigned int vz,
                                  Tequation *eq);

void GenerateGeneralNormEquation(unsigned int nv,unsigned int *v,double n,Tequation *eq);
void GenerateNormEquation(unsigned int vx,unsigned int vy,unsigned int vz,
                          double n,
                          Tequation *eq);
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);

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);

unsigned int FindMonomial(Tmonomial *f,Tequation *eq);

Tmonomial *GetMonomial(unsigned int i,Tequation *eq);

unsigned int GetNumMonomials(Tequation *eq);

void LinearEquation2LinearConstraint(TLinearConstraint *lc,Tequation *eq);

double EvaluateEquation(double *varValues,Tequation *eq);

void EvaluateEquationInt(Tinterval *varValues,Tinterval *i_out,Tequation *eq);

void DeriveEquation(unsigned int nv,Tequation *d,Tequation *eq);

void PrintMonomials(FILE *f,char **varNames,Tequation *eq);

void PrintEquation(FILE *f,char **varNames,Tequation *eq);

void DeleteEquation(Tequation *eq);

#endif