Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

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

diff --git a/src/AST/predicate.c b/src/AST/predicate.c
index 24d1f3452ba52e04bdde2fd409c4c90d3d993f40..0e0238af2c1b04a12e06ab87baafbcbd8856df9f 100644 (file)
--- a/src/AST/predicate.c
+++ b/src/AST/predicate.c
@@ -3,27 +3,27 @@
 #include "set.h"
 #include "table.h"
 
-Predicate* allocPredicateOperator(CompOp op, Set ** domain, uint numDomain){
-       PredicateOperator* This = ourmalloc(sizeof(PredicateOperator));
-       GETPREDICATETYPE(This)=OPERATORPRED;
+Predicate *allocPredicateOperator(CompOp op, Set **domain, uint numDomain) {
+       PredicateOperator *This = ourmalloc(sizeof(PredicateOperator));
+       GETPREDICATETYPE(This) = OPERATORPRED;
        initArrayInitSet(&This->domains, domain, numDomain);
-       This->op=op;
+       This->op = op;
        return &This->base;
 }
 
-Predicate* allocPredicateTable(Table* table, UndefinedBehavior undefBehavior){
+Predicate *allocPredicateTable(Table *table, UndefinedBehavior undefBehavior) {
        ASSERT(table->range == NULL);
-       PredicateTable* This = ourmalloc(sizeof(PredicateTable));
+       PredicateTable *This = ourmalloc(sizeof(PredicateTable));
        GETPREDICATETYPE(This) = TABLEPRED;
-       This->table=table;
-       This->undefinedbehavior=undefBehavior;
+       This->table = table;
+       This->undefinedbehavior = undefBehavior;
        return &This->base;
 }
 
-void deletePredicate(Predicate* This){
-       switch(GETPREDICATETYPE(This)) {
+void deletePredicate(Predicate *This) {
+       switch (GETPREDICATETYPE(This)) {
        case OPERATORPRED: {
-               PredicateOperator * operpred=(PredicateOperator *) This;
+               PredicateOperator *operpred = (PredicateOperator *) This;
                deleteInlineArraySet(&operpred->domains);
                break;
        }
@@ -35,18 +35,18 @@ void deletePredicate(Predicate* This){
        ourfree(This);
 }
 
-bool evalPredicateOperator(PredicateOperator * This, uint64_t * inputs) {
-       switch(This->op) {
+bool evalPredicateOperator(PredicateOperator *This, uint64_t *inputs) {
+       switch (This->op) {
        case EQUALS:
-               return inputs[0]==inputs[1];
+               return inputs[0] == inputs[1];
        case LT:
-               return inputs[0]<inputs[1];
+               return inputs[0] < inputs[1];
        case GT:
-               return inputs[0]>inputs[1];
+               return inputs[0] > inputs[1];
        case LTE:
-               return inputs[0]<=inputs[1];
+               return inputs[0] <= inputs[1];
        case GTE:
-               return inputs[0]>=inputs[1];
+               return inputs[0] >= inputs[1];
        }
        ASSERT(0);
        return false;