Add rate_type in interpreter/types.ml.
[Faustine.git] / interpretor / symbol.ml
index a37f1d3..bdfa410 100644 (file)
@@ -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"