CMEMALLOC;
private:
- void shouldMemoize(Element *elem, uint64_t val, bool & memo);
+ void shouldMemoize(Element *elem, uint64_t val, bool &memo);
Edge getNewVarSATEncoder();
void getArrayNewVarsSATEncoder(uint num, Edge *carray);
Edge encodeVarSATEncoder(BooleanVar *constraint);
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);
Edge encodeEnumTablePredicateSATEncoder(BooleanPredicate *constraint);
void encodeEnumTableElemFunctionSATEncoder(ElementFunction *This);
void encodeEnumEntriesTableElemFuncSATEncoder(ElementFunction *This);
- void generateAnyValueOneHotEncoding(ElementEncoding *encoding);
void generateAnyValueBinaryIndexEncoding(ElementEncoding *encoding);
void generateAnyValueBinaryValueEncoding(ElementEncoding *encoding);
CNF *cnf;