src/ASTTransform/integerencoding.h

   1 /*
   2  * To change this license header, choose License Headers in Project Properties.
   3  * To change this template file, choose Tools | Templates
   4  * and open the template in the editor.
   5  */
   6
   7 /*
   8  * File:   integerencoding.h
   9  * Author: hamed
  10  *
  11  * Created on August 24, 2017, 5:31 PM
  12  */
  13
  14 #ifndef INTEGERENCODING_H
  15 #define INTEGERENCODING_H
  16 #include "classlist.h"
  17 #include "structs.h"
  18
  19 Element *getOrderIntegerElement(SATEncoder *This,Order *order, uint64_t item);
  20 void orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder);
  21
  22
  23 #endif/* INTEGERENCODING_H */
  24