Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine

[Faustine.git] / interpretor / symbol.ml

diff --git a/interpretor/symbol.ml b/interpretor/symbol.ml
index a37f1d3..bdfa410 100644 (file)
--- 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)
     |Serialize  ->  (1, 1)
     |Larger     ->  (2, 1)
     |Smaller    ->  (2, 1)

+    |Max         ->  (2, 1) 
+    |Min         ->  (2, 1)

     |Prefix     ->  (2, 1)
     |Select2    ->  (3, 1)
     |Select3     ->  (4, 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
     |Mod        ->     0
     |Larger     ->     0
     |Smaller    ->     0

+    |Max         ->     0      
+    |Min         ->     0

     |Vectorize  ->     vectorize_memory_length
     |Vconcat    ->     0
     |Vpick      ->     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"
     |Mod        ->     "Mod"
     |Larger     ->     "Larger"
     |Smaller    ->     "Smaller"

+    |Max         ->     "Max"
+    |Min         ->     "Min"

     |Vectorize  ->     "Vectorize"
     |Vconcat    ->     "Vconcat"
     |Vpick      ->     "Vpick"
     |Vectorize  ->     "Vectorize"
     |Vconcat    ->     "Vconcat"
     |Vpick      ->     "Vpick"