X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/8c48d01c4b78dba6159c13438b06cb7e07a1f338..a186a0b2f3c996e9f17dd96e9f548e81f6447fe0:/interpretor/symbol.ml?ds=inline

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"