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

void InitBoxFromPoint(unsigned int dim,double *p,Tbox *b);

void EnlargeBox(double lo,double uo,Tbox *b);

void ExpandBox(double *p,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 MergeBoxes(Tbox *b1,Tbox *b2,Tbox *bout);

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

void SetBoxSubset(boolean *used,Tbox *bset,Tbox *b);

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


void Crop2Box(boolean *used,unsigned int n,double *p,Tbox *b);

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

boolean PointInBoxTopology(boolean *used,boolean update,
                           unsigned int n,double *v,double tol,unsigned int *tp,Tbox *b);

unsigned int OutOfBoxTopology(boolean *used,unsigned int n,double *v,
                              unsigned int *tp,signed int *s,Tbox *b);

boolean PointInSubBox(boolean *used,Tvector *v,double tol,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);

void RandomPointInBox(boolean *used,double *c,Tbox *b);

void GetBoxCenter(boolean *used,double *c,Tbox *b);

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

double SquaredDistancePointToBox(double t2,double *p,Tbox *b);

double DistancePointToBox(double *p,Tbox *b);

double SquaredDistanceToBoxDimensionTopology(unsigned int dim,double p,unsigned int *tp,Tbox *b);

double SquaredDistancePointToBoxTopology(double t,double *p,unsigned int *tp,Tbox *b);

double DistancePointToBoxTopology(double *p,unsigned int *tp,Tbox *b);

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

double GetBoxSumSide(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);

void AddMargin2Box(double m,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