Add timing statements

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

diff --git a/src/AST/predicate.cc b/src/AST/predicate.cc
index 659a3e336a97d58b2d6c5f454bcb7a2e320944fd..80e8a5e38e5be4aee0fad516ef9d4fb67fc0d03e 100644 (file)
--- a/src/AST/predicate.cc
+++ b/src/AST/predicate.cc
@@ -51,47 +51,55 @@ Predicate *PredicateTable::clone(CSolver *solver, CloneMap *map) {
        return p;
 }
 
-void PredicateTable::serialize(Serializer* serializer){        
-       if(serializer->isSerialized(this))
+void PredicateTable::serialize(Serializer *serializer) {
+       if (serializer->isSerialized(this))
                return;
        serializer->addObject(this);
-       
+
        table->serialize(serializer);
-       
-       ASTNodeType type = PREDTABLETYPE;       
+
+       ASTNodeType type = PREDTABLETYPE;
        serializer->mywrite(&type, sizeof(ASTNodeType));
-       PredicateTable* This = this;
-       serializer->mywrite(&This, sizeof(PredicateTable*));
+       PredicateTable *This = this;
+       serializer->mywrite(&This, sizeof(PredicateTable *));
        serializer->mywrite(&table, sizeof(Table *));
        serializer->mywrite(&undefinedbehavior, sizeof(UndefinedBehavior));
 }
 
-void PredicateTable::print(){  
-       model_println("{PredicateTable:");
-        table->print();
-        model_println("}\n");
+void PredicateTable::print() {
+       model_print("{PredicateTable:\n");
+       table->print();
+       model_print("}\n");
 }
 
-void PredicateOperator::serialize(Serializer* serializer){     
-       if(serializer->isSerialized(this))
+void PredicateOperator::serialize(Serializer *serializer) {
+       if (serializer->isSerialized(this))
                return;
        serializer->addObject(this);
-       
+
        uint size = domains.getSize();
-       for(uint i=0; i<size; i++){
-               Set* domain = domains.get(i);
+       for (uint i = 0; i < size; i++) {
+               Set *domain = domains.get(i);
                domain->serialize(serializer);
        }
-               
-       ASTNodeType type = PREDOPERTYPE;        
+
+       ASTNodeType type = PREDOPERTYPE;
        serializer->mywrite(&type, sizeof(ASTNodeType));
-       PredicateOperator* This = this;
-       serializer->mywrite(&This, sizeof(PredicateOperator*));
+       PredicateOperator *This = this;
+       serializer->mywrite(&This, sizeof(PredicateOperator *));
        serializer->mywrite(&op, sizeof(CompOp));
        serializer->mywrite(&size, sizeof(uint));
-       for(uint i=0; i<size; i++){
-               Set* domain = domains.get(i);
-               serializer->mywrite(&domain, sizeof(Set*));
+       for (uint i = 0; i < size; i++) {
+               Set *domain = domains.get(i);
+               serializer->mywrite(&domain, sizeof(Set *));
        }
 }
 
+void PredicateOperator::print() {
+       const char *names[] = {"==", "<", ">", "<=", ">="};
+
+       model_print("PredicateOperator: %s\n", names[(int)op]);
+}
+
+
+