X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/64fedf639ee3d2bd048028414097632726d24d42..22281bef330c4b8dda5217f5b7d0f77257c568ae:/interpretor/symbol.ml 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"