linear_constraint.h

Go to the documentation of this file.

#ifndef LINEARCONSTRAINT
#define LINEARCONSTRAINT

#include "interval.h"
#include "boolean.h"
#include "box.h"

#include <stdio.h>


/************************************************************************************/
#define INIT_NUM_TERMS_LC 10
/************************************************************************************/

typedef struct {
  unsigned int n; 
  unsigned int max;
  unsigned int *ind; 
  double *val;
  Tinterval error;
} TLinearConstraint;


void InitLinearConstraint(TLinearConstraint *lc);


void ResetLinearConstraint(TLinearConstraint *lc);

void CopyLinearConstraint(TLinearConstraint *lc_dst,TLinearConstraint *lc_src);


unsigned int GetNumTermsInLinearConstraint(TLinearConstraint *lc);


double *GetLinearConstraintCoefficients(TLinearConstraint *lc);


double GetLinearConstraintCoefficient(unsigned int i,TLinearConstraint *lc);

unsigned int *GetLinearConstraintVariables(TLinearConstraint *lc);

unsigned int GetLinearConstraintVariable(unsigned int i,TLinearConstraint *lc);

void GetLinearConstraintError(Tinterval *error,TLinearConstraint *lc);

void SetLinearConstraintError(Tinterval *error,TLinearConstraint *lc);


void AddCt2LinearConstraint(double ct,TLinearConstraint *lc);

void AddTerm2LinearConstraint(unsigned int ind,double val,TLinearConstraint *lc);

double RemoveTermFromLinearConstraint(unsigned int ind,TLinearConstraint *lc);


boolean LinearConstraintIncludes(unsigned int ind,TLinearConstraint *lc);


void InvertLinearConstraint(TLinearConstraint *lc);

void ScaleLinearConstraint(double a,TLinearConstraint *lc);


void AddLinearConstraints(TLinearConstraint *lc1,TLinearConstraint *lc);

void CleanLinearConstraint(double epsilon,Tinterval *is,TLinearConstraint *lc);

boolean SimplifyLinearConstraint(boolean *full,Tinterval *is,TLinearConstraint *lc);

unsigned int CropLinearConstraint(double epsilon,
                                  Tbox *b,
                                  TLinearConstraint *lc);

boolean CmpLinearConstraints(double *scaleOne2Two,TLinearConstraint *lc1,TLinearConstraint *lc2);

double EvaluateLinearConstraint(double *varValues,TLinearConstraint *lc);

void EvaluateLinearConstraintInt(Tinterval *varValues,Tinterval *i_out,TLinearConstraint *lc);

void PrintLinearConstraint(FILE *f,boolean eq,char **varName,TLinearConstraint *lc);

void SaveLinearConstraint(FILE *f,TLinearConstraint *lc);

void LoadLinearConstraint(FILE *f,TLinearConstraint *lc);

void DeleteLinearConstraint(TLinearConstraint *lc);

#endif