src/Encoders/elementencoding.c

   1 #include "elementencoding.h"
   2 #include "common.h"
   3 #include "naiveencoder.h"
   4 #include "element.h"
   5 #include "satencoder.h"
   6
   7 void initElementEncoding(ElementEncoding * This, Element *element) {
   8         This->element=element;
   9         This->type=ELEM_UNASSIGNED;
  10         This->variables=NULL;
  11         This->encodingArray=NULL;
  12         This->inUseArray=NULL;
  13         This->numVars=0;
  14         This->encArraySize=0;
  15 }
  16
  17 void deleteElementEncoding(ElementEncoding *This) {
  18         if (This->variables!=NULL)
  19                 ourfree(This->variables);
  20         if (This->encodingArray!=NULL)
  21                 ourfree(This->encodingArray);
  22         if (This->inUseArray!=NULL)
  23                 ourfree(This->inUseArray);
  24 }
  25
  26 void allocEncodingArrayElement(ElementEncoding *This, uint size) {
  27         This->encodingArray=ourcalloc(1, sizeof(uint64_t)*size);
  28         This->encArraySize=size;
  29 }
  30
  31 void allocInUseArrayElement(ElementEncoding *This, uint size) {
  32         uint bytes = ((size + ((1 << 9)-1)) >> 6)&~7;//Depends on size of inUseArray
  33         This->inUseArray=ourcalloc(1, bytes);
  34 }
  35
  36 void setElementEncodingType(ElementEncoding* This, ElementEncodingType type){
  37         This->type = type;
  38 }
  39
  40