box.h

Go to the documentation of this file.

#ifndef BOXH
#define BOXH

#include "interval.h"
#include "boolean.h"
#include "variable_set.h"
#include "vector.h"

#include <stdio.h>


/************************************************************************************/
#define EMPTY_BOX                 0

#define ERROR_IN_PROCESS          1

#define REDUCED_BOX               2

#define UNBOUNDED_BOX             3

#define REDUCED_BOX_WITH_SOLUTION 4

#define NOT_REDUCED_BOX           5

#define BOX_OK                    6
/************************************************************************************/

typedef struct {
  unsigned int level; 
  unsigned int n; 
  Tinterval *is; 
} Tbox;

void InitBox(unsigned int dim,Tinterval *is,Tbox *b);

unsigned int GetBoxBufferSize(Tbox *b); 

void Box2Buffer(unsigned int c,unsigned int n,double *buffer,Tbox *b);

void Buffer2Box(unsigned int *c,unsigned int *n,double *buffer,Tbox *b);

void CopyBox(void *b_out,void *b_in);

void CopyBoxSubset(boolean *used,void *b_out,void *b_in);

void SetBoxIntervals(Tinterval *is,Tbox *b);


void SetBoxInterval(unsigned int n,Tinterval *is,Tbox *b);


boolean BoxesIntersection(boolean *used,Tbox *b1,Tbox *b2,Tbox *bout);

void BoxUnion(boolean *used,Tbox *b1,Tbox *b2,Tbox *b_out);


boolean PointInBox(boolean *used,unsigned int n,double *v,Tbox *b);

boolean PointInSubBox(boolean *used,Tvector *v,Tbox *b);

double DistanceToSubBoxCenter(boolean *used,Tvector *v,Tbox *b);

boolean IsPunctualBox(boolean *used,double epsilon,Tbox *b);

boolean BoxInclusion(boolean *used,Tbox *b1,Tbox *b2);

Tinterval *GetBoxInterval(unsigned int n,Tbox *b);

Tinterval *GetBoxIntervals(Tbox *b);

double GetBoxSize(boolean *used,Tbox *b);

double GetBoxMaxSizeVarSet(Tvariable_set *vars,Tbox *b);

double GetBoxMinSizeVarSet(Tvariable_set *vars,Tbox *b);

double GetBoxDiagonal(boolean *used,Tbox *b);

unsigned int GetBoxLevel(Tbox *b);

double GetBoxCenterDistance(boolean *used,Tbox *b1,Tbox *b2);

double GetBoxVolume(boolean *used,Tbox *b);

unsigned int GetBoxNIntervals(Tbox *b);

unsigned int GetBoxMaxDim(boolean *used,Tbox *b);

unsigned int GetBoxSplitDim(boolean *used,Tbox *b);

void SplitBox(unsigned int n,double r,Tbox *b1,Tbox *b2,Tbox *b);

void ScaleBox(double max_upper,Tbox *b);


boolean CmpBoxDepthFirst(void *b1,void *b2,void *userData);

boolean CmpBoxBreadthFirst(void *b1,void *b2,void *userData);

void PrintBox(FILE *f,Tbox *b);

void PrintBoxSubset(FILE *f,boolean *used,char **varNames,Tbox *b);

int ReadBox(FILE *f,Tbox *b);


void SaveBox(FILE *f,Tbox *b);

void LoadBox(FILE *f,Tbox *b);

void DeleteBox(void *b);

#endif