X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/64fedf639ee3d2bd048028414097632726d24d42..b4b6f2ea75b9f0f3ca918f5b84016610bf7a4d4f:/interpretor/symbol.ml?ds=sidebyside

diff --git a/interpretor/symbol.ml b/interpretor/symbol.ml
index a37f1d3..bdfa410 100644
--- a/interpretor/symbol.ml
+++ b/interpretor/symbol.ml
@@ -40,6 +40,8 @@ let dimension_of_symbol : symbol -> int * int =
     |Serialize	 ->  (1, 1)
     |Larger	 ->  (2, 1)
     |Smaller	 ->  (2, 1)
+    |Max         ->  (2, 1) 
+    |Min         ->  (2, 1)
     |Prefix	 ->  (2, 1)
     |Select2	 ->  (3, 1)
     |Select3     ->  (4, 1);;
@@ -66,6 +68,8 @@ let delay_of_symbol : symbol -> int =
     |Mod	 ->	0
     |Larger	 ->	0
     |Smaller	 ->	0
+    |Max         ->     0	
+    |Min         ->     0
     |Vectorize	 ->	vectorize_memory_length
     |Vconcat	 ->	0
     |Vpick	 ->	0
@@ -96,6 +100,8 @@ let string_of_symbol : symbol -> string =
     |Mod	 ->	"Mod"
     |Larger	 ->	"Larger"
     |Smaller	 ->	"Smaller"
+    |Max         ->     "Max"
+    |Min         ->     "Min"
     |Vectorize	 ->	"Vectorize"
     |Vconcat	 ->	"Vconcat"
     |Vpick	 ->	"Vpick"