src/Backend/satfuncopencoder.h

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