variables.h

Go to the documentation of this file.

#ifndef VARIABLESH
#define VARIABLESH

#include "variable.h"
#include "box.h"
#include "boolean.h"

#include <stdio.h>

typedef struct {
  unsigned int max_variables; 
  unsigned int n;  
  unsigned int sys; 
  unsigned int sec; 
  unsigned int dum; 
  unsigned int car; 
  Tvariable **vs; 
} Tvariables;

void InitVariables(Tvariables *vs);


void CopyVariables(Tvariables *vs_dst,Tvariables *vs_src);

unsigned int NVariables(Tvariables *vs); 

unsigned int GetNumSystemVariables(Tvariables *vs);

unsigned int GetNumSecondaryVariables(Tvariables *vs);

unsigned int GetNumDummyVariables(Tvariables *vs);

unsigned int GetNumCartesianVariables(Tvariables *vs);


boolean IsSystemVariable(unsigned int n,Tvariables *vs);

boolean IsSecondaryVariable(unsigned int n,Tvariables *vs);

boolean IsDummyVariable(unsigned int n,Tvariables *vs);

boolean IsCartesianVariable(unsigned int n,Tvariables *vs);

unsigned int GetVariableTypeN(unsigned int n,Tvariables *vs);

unsigned int AddVariable(Tvariable *v,Tvariables *vs);

Tvariable *GetVariableWithName(char *name,Tvariables *vs);

Tvariable *GetVariable(unsigned int n,Tvariables *vs);

unsigned int GetVariableID(char *name,Tvariables *vs);

void GetVariableNames(char **varNames,Tvariables *vs);

void RemoveVariable(unsigned int n,Tvariables *vs);

void BoxFromVariables(Tbox *b,Tvariables *vs);

void PrintVariables(FILE *f,Tvariables *vs);

void DeleteVariables(Tvariables *vs);

#endif