}
+void FunctionTable::print(){
+ model_println("{FunctionTable:");
+ table->print();
+ model_println("}\n");
+
+}
+
void FunctionOperator::serialize(Serializer* serializer){
if(serializer->isSerialized(this))
return;
}
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