src/Backend/satencoder.c

   1 #include "satencoder.h"
   2
   3 SATEncoder * allocSATEncoder() {
   4         SATEncoder *This=ourmalloc(sizeof (SATEncoder));
   5         return This;
   6 }
   7
   8 void deleteSATEncoder(SATEncoder *This) {
   9         ourfree(This);
  10 }