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 void encodeOperatorElementFunctionSATEncoder(SATEncoder* encoder,ElementFunction* This);
   8 void encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This);
   9 Edge encodeCircuitOperatorPredicateEncoder(SATEncoder *This, BooleanPredicate * constraint);
  10 Edge encodeCircuitEquals(SATEncoder * This, BooleanPredicate * constraint);
  11
  12 #endif