variable_set.h

Go to the documentation of this file.

#ifndef VARIABLESETH
#define VARIABLESETH 

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

#include <stdlib.h>
#include <stdio.h>


/************************************************************************************/
#define INIT_NUM_VARIABLES 10
/************************************************************************************/

typedef struct {
  unsigned int nvars; 
  unsigned int maxvars; 
  unsigned int *var_id; 
  unsigned int *power; 
} Tvariable_set;

void InitVarSet(Tvariable_set *vs);


void ResetVarSet(Tvariable_set *vs);

void CopyVarSet(Tvariable_set *vs_dst,Tvariable_set *vs_orig);

void ShiftVarIndexes(unsigned int nv,Tvariable_set *vs);

unsigned int CmpVarSet(Tvariable_set *vs1,Tvariable_set *vs2);


unsigned int GetPlaceinSet(unsigned int id,Tvariable_set *vs);

boolean VarIncluded(unsigned int id,Tvariable_set *vs);

boolean Included(unsigned int id,unsigned int p,Tvariable_set *vs);

boolean EmptyVarSet(Tvariable_set *vs);

void AddVariable2Set(unsigned int varid,unsigned int p,Tvariable_set *vs);

void RemoveVariableFromSet(unsigned int varid,Tvariable_set *vs);

unsigned int VarSetOrder(Tvariable_set *vs);


unsigned int VariableSetSize(Tvariable_set *vs);

unsigned int GetVariableN(unsigned int n,Tvariable_set *vs);

unsigned int *GetVariables(Tvariable_set *vs);

unsigned int GetVariablePowerN(unsigned int n,Tvariable_set *vs);

unsigned int *GetPowers(Tvariable_set *vs);

boolean VarSetIntersect(Tvariable_set *vs1,Tvariable_set *vs2);

void SubstractVarSet(Tvariable_set *vs1,Tvariable_set *vs2,Tvariable_set *v_out); /*vs1-vs2*/

void UnionVarSet(Tvariable_set *vs1,Tvariable_set *vs2,Tvariable_set *v_out);


double EvaluateVarSet(double *varValues,Tvariable_set *vs);

void EvaluateVarSetInt(Tinterval *varValues,Tinterval *i_out,Tvariable_set *vs);

unsigned int DeriveVarSet(unsigned int nv,Tvariable_set *dvs,Tvariable_set *vs);


void PrintVarSet(FILE *f,char **varNames,Tvariable_set *vs);

void DeleteVarSet(Tvariable_set *vs);

#endif