src/Backend/satfunctableencoder.h

   1 #ifndef SATFUNCTABLEENCODER_H
   2 #define SATFUNCTABLEENCODER_H
   3
   4 Edge encodeEnumEntriesTablePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
   5 Edge encodeEnumTablePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
   6 void encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
   7 void encodeEnumEntriesTableElemFuncSATEncoder(SATEncoder* encoder, ElementFunction* This);
   8
   9 #endif