csmapping.h

Go to the documentation of this file.

#ifndef CSMAPPINGH
#define CSMAPPINGH

#include "boolean.h"
#include "variables.h"
#include "box.h"
#include "linear_constraint.h"

/************************************************************************************/
#define NOREL   0

#define REL2VAR 1

#define REL2CT  2 
/************************************************************************************/

typedef struct {
  Tvariables *original;  
  Tvariables *simple;    
  unsigned int sizeO;    
  unsigned int sizeS;    
  unsigned int *orig;    
  boolean *related;      
  TLinearConstraint *lc; 
} Tmapping;

void InitMapping(Tvariables *o,Tvariables *s,Tmapping *m);

void CopyMapping(Tmapping *m_dst,Tmapping *m_src);

unsigned int GetSizeOriginal(Tmapping *m);

unsigned int GetSizeSimple(Tmapping *m);

void SetOriginalVarRelation(unsigned int nvo,TLinearConstraint *lc,Tmapping *m);

void GetOriginalVarRelation(unsigned int nvo,TLinearConstraint *lc,Tmapping *m);

unsigned int GetVarIDInOriginal(unsigned int v,Tmapping *m);

void SimpleFromOriginal(Tbox *o,Tbox *s,Tmapping *m);


void UpdateOriginalFromSimple(Tbox *s,Tbox *o,Tmapping *m);

void PrintMapping(FILE *f,Tmapping *m);

void LoadMapping(FILE *f,Tmapping *m);

void SaveMapping(FILE *f,Tmapping *m);

void DeleteMapping(Tmapping *m);

#endif