equations.h

Go to the documentation of this file.

#ifndef EQUATIONSH
#define EQUATIONSH

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

#include <stdio.h>

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

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


typedef struct {
  unsigned int max;
  unsigned int n; 
  unsigned int s; 
  unsigned int c; 
  unsigned int d; 
  unsigned int e; 
  TequationInfo **equation; 
} Tequations;

void InitEquations(Tequations *eqs);

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

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 NSystemEquations(Tequations *eqs);

unsigned int NCoordEquations(Tequations *eqs);

unsigned int NDummyEquations(Tequations *eqs);

unsigned int NEqualityEquations(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);

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

TequationInfo *GetEquationInfo(unsigned int n,Tequations *eqs);

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

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

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

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

void DeleteEquations(Tequations *eqs);

#endif