X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;h=78e797ff4f73d28f854cc1084166fff47a890c39;hp=0ccf31cfcdcb012ee00a533e81e1ed788dfea2c3;hb=dc9528ed1aa556265c68d9f456d00524d74c9e0b;hpb=4ecb751464ff6982cf4110da97078ff911da1d90

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 0ccf31c..78e797f 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -44,6 +44,7 @@ private:
 	void generateElementEncoding(Element *element);
 	Edge encodeOperatorPredicateSATEncoder(BooleanPredicate *constraint);
 	Edge encodeEnumOperatorPredicateSATEncoder(BooleanPredicate *constraint);
+	Edge encodeEnumEqualsPredicateSATEncoder(BooleanPredicate *constraint);
 	void encodeOperatorElementFunctionSATEncoder(ElementFunction *This);
 	Edge encodeCircuitOperatorPredicateEncoder(BooleanPredicate *constraint);
 	Edge encodeOrderSATEncoder(BooleanOrder *constraint);