X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/7aa377f6b67020aa1dff235ebb100943375cac94..d8214dc258396483f72533504515a4e1d1b3deef:/interpretor/symbol.ml

diff --git a/interpretor/symbol.ml b/interpretor/symbol.ml
index 68f5d5f..a37f1d3 100644
--- a/interpretor/symbol.ml
+++ b/interpretor/symbol.ml
@@ -73,3 +73,34 @@ let delay_of_symbol : symbol -> int =
     |Prefix	 ->	1
     |Select2	 ->	0
     |Select3     ->	0;;
+
+let string_of_symbol : symbol -> string = 
+  fun (s : symbol) ->
+    match s with
+    |Add	 ->	"Add"
+    |Sub	 ->	"Sub"		
+    |Mul	 ->	"Mul"
+    |Div	 ->	"Div"
+    |Pass	 ->	"Pass"
+    |Stop	 ->	"Stop"
+    |Mem	 ->	"Mem"
+    |Delay	 ->	"Delay" 
+    |Floor	 ->	"Floor"
+    |Int	 ->	"Int"
+    |Sin	 ->	"Sin"
+    |Cos	 ->     "Cos"
+    |Atan	 ->     "Atan"
+    |Atan2	 ->     "Atan2"
+    |Sqrt	 ->     "Sqrt"
+    |Rdtable	 ->	"Rdtable"
+    |Mod	 ->	"Mod"
+    |Larger	 ->	"Larger"
+    |Smaller	 ->	"Smaller"
+    |Vectorize	 ->	"Vectorize"
+    |Vconcat	 ->	"Vconcat"
+    |Vpick	 ->	"Vpick"
+    |Serialize	 ->	"Serialize"
+    |Prefix	 ->	"Prefix"
+    |Select2	 ->	"Select2"
+    |Select3     ->	"Select3";;
+