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