src/Backend/satfuncencoder.h

   1 #ifndef SATFUNCENCODER_H
   2 #define SATFUNCENCODER_H
   3
   4 Edge encodeEnumTablePredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
   5 Edge encodeOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
   6 Edge encodeEnumOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * constraint);
   7 Edge encodeOperatorElementFunctionSATEncoder(SATEncoder* encoder,ElementFunction* This);
   8 Edge encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
   9
  10 #endif