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