Add support for some other operators

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

diff --git a/src/AST/predicate.h b/src/AST/predicate.h
index 6aaacce08de5c292ac5c363dd91b46ec40fa57e3..105e91bd315be90f56bf366ac8042b493377ffea 100644 (file)
--- a/src/AST/predicate.h
+++ b/src/AST/predicate.h
@@ -25,7 +25,6 @@ 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* This, uint* size, uint64_t* result);
+bool evalPredicateOperator(PredicateOperator * This, uint64_t * inputs);
 void deletePredicate(Predicate* This);
 #endif