equations.h

Go to the documentation of this file.

#ifndef EQUATIONSH
#define EQUATIONSH

#include "boolean.h"
#include "variables.h"
#include "equation.h"
#include "mequation.h"
#include "simplex.h"
#include "defines.h"

#include <stdio.h>

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

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

#define INIT_NUM_EQUATIONS 10
/************************************************************************************/

typedef struct
{
  Tequation *equation; 
  unsigned int EqType; 
  TLinearConstraint *lc; 
  unsigned int n;  
  Tequation **Jacobian; 
  Tequation ***Hessian;   
} TequationInfo;


typedef struct {
  unsigned int neq;         
  unsigned int s;           
  unsigned int c;           
  unsigned int d;           
  unsigned int e;           
  boolean polynomial;       
  boolean scalar;           
  unsigned int m;           
  unsigned int n;           
  TequationInfo **equation; 
  unsigned int mm;          
  unsigned int nm;          
  TMequation **mequation;   
  unsigned int nsEQU;       
  Tequation **eqEQU;        
} Tequations;

void InitEquations(Tequations *eqs);

void CopyEquations(Tequations *eqs_dst,Tequations *eqs_src);

void MergeEquations(Tequations *eqs1,Tequations *eqs);

boolean UsedVarInNonDummyEquations(unsigned int nv,Tequations *eqs);

boolean UsedVarInEquations(unsigned int nv,Tequations *eqs);


void RemoveEquationsWithVar(double epsilon,unsigned int nv,Tequations *eqs);


boolean ReplaceVariableInEquations(double epsilon,unsigned int nv,
                                   TLinearConstraint *lc,Tequations *eqs);

boolean GaussianElimination(Tequations *eqs);

unsigned int NEquations(Tequations *eqs);

unsigned int NScalarEquations(Tequations *eqs);

unsigned int NSystemEquations(Tequations *eqs);

unsigned int NCoordEquations(Tequations *eqs);

unsigned int NDummyEquations(Tequations *eqs);

unsigned int NEqualityEquations(Tequations *eqs);


unsigned int NInequalityEquations(Tequations *eqs);

boolean PolynomialEquations(Tequations *eqs);

boolean ScalarEquations(Tequations *eqs);

boolean IsSystemEquation(unsigned int i,Tequations *eqs);

boolean IsCoordEquation(unsigned int i,Tequations *eqs);

boolean IsDummyEquation(unsigned int i,Tequations *eqs);

unsigned int GetEquationTypeN(unsigned int i,Tequations *eqs);

boolean HasEquation(Tequation *equation,Tequations *eqs);

void AddEquation(Tequation *equation,Tequations *eqs);

void AddEquationNoSimp(Tequation *equation,Tequations *eqs);


void AddMatrixEquation(TMequation *equation,Tequations *eqs);

Tequation *GetEquation(unsigned int n,Tequations *eqs);

Tequation *GetScalarEquation(unsigned int n,Tequations *eqs);

unsigned int CropEquation(unsigned int ne,
                          unsigned int varType,
                          double epsilon,double rho,
                          Tbox *b,
                          Tvariables *vs,
                          Tequations *eqs);

boolean AddEquation2Simplex(unsigned int ne,
                            double lr2tm_q,double lr2tm_s,
                            double epsilon,unsigned int safeSimplex,double rho,
                            Tbox *b,Tvariables *vs,
                            TSimplex *lp,Tequations *eqs);

void UpdateSplitWeight(unsigned int ne,double *splitDim,
                       Tbox *b,Tequations *eqs);

void EvaluateEqualityEquations(boolean systemOnly,double *v,double *r,Tequations *eqs);

void EvaluateSubSetEqualityEquations(double *v,boolean *se,double *r,Tequations *eqs);

void CacheScalarEQUInfo(Tequations *eqs);

void EvaluateEqualitySparseEquations(double *v,double *r,Tequations *eqs);

void EvaluateSubSetEqualitySparseEquations(double *v,boolean *se,double *r,Tequations *eqs);

void EvaluateEquationsXVectors(double *v,unsigned int ng,unsigned int *g,double *p,
                               double *r,Tequations *eqs);

void EvaluateInequalityEquations(double *v,double *r,Tequations *eqs);

void DeriveEqualityEquations(unsigned int v,Tequations *deqs,Tequations *eqs);

void PrintEquations(FILE *f,char **varNames,Tequations *eqs);

void DeleteEquations(Tequations *eqs);

#endif