X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Ffunction.cc;h=26decd093b1d1354d778427419db991b3407f898;hp=96b0797452aacfb744d418ceaa3170f9604838f1;hb=a79143bc592a6a8932f2384a8b61ad3b2b3cbd86;hpb=2ea873287511578a00428d0d18f4342d8956d801

diff --git a/src/AST/function.cc b/src/AST/function.cc
index 96b0797..26decd0 100644
--- a/src/AST/function.cc
+++ b/src/AST/function.cc
@@ -82,6 +82,13 @@ void FunctionTable::serialize(Serializer* serializer){
 	
 }
 
+void FunctionTable::print(){
+	model_println("{FunctionTable:");
+        table->print();
+        model_println("}\n");
+	
+}
+
 void FunctionOperator::serialize(Serializer* serializer){
 	if(serializer->isSerialized(this))
 		return;
@@ -106,4 +113,8 @@ void FunctionOperator::serialize(Serializer* serializer){
 	}
 	serializer->mywrite(&range, sizeof(Set *));
 	serializer->mywrite(&overflowbehavior, sizeof(OverFlowBehavior));
+}
+
+void FunctionOperator::print(){
+	model_println("{FunctionOperator: %s}", op == SATC_ADD? "ADD": "SUB" );
 }
\ No newline at end of file