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.
8 * File: integerencoding.h
11 * Created on August 24, 2017, 5:31 PM
14 #ifndef INTEGERENCODING_H
15 #define INTEGERENCODING_H
16 #include "classlist.h"
19 Element *getOrderIntegerElement(SATEncoder *This,Order *order, uint64_t item);
20 void orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder);
23 #endif/* INTEGERENCODING_H */