Adding predicateOperator (equality operation ...)

[satune.git] / src / AST / predicate.h

diff --git a/src/AST/predicate.h b/src/AST/predicate.h
index 13e5295bc69c2a10e0e90d8d5ab94ed45cb45de9..22f33d0e2e4bacaac23a6f22ac608e475d36c72c 100644 (file)
--- a/src/AST/predicate.h
+++ b/src/AST/predicate.h
@@ -26,5 +26,7 @@ struct PredicateTable {
 
 Predicate* allocPredicateOperator(CompOp op, Set ** domain, uint numDomain);
 Predicate* allocPredicateTable(Table* table, UndefinedBehavior undefBehavior);
+// size and result will be modified by this function!
+void getEqualitySetIntersection(PredicateOperator* predicate, uint* size, uint64_t* result);
 void deletePredicate(Predicate* predicate);
 #endif