admin/mlib
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update doc

Browse Source
This commit is contained in:
Patrick Pelissier committed 2021-02-07 00:42:10 +01:00
1 parent 5be981def3
commit 57fcb4012b
1 file changed
+4 -2
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+4 -2
View File
@@ -5400,12 +5400,14 @@ The number shall be within the range [1..M\_MAX\_NB\_ARGUMENT].
##### M\_ADD(x, y)
Return x+y (resolution is performed at preprocessing time).
x, y and the result shall be within [0..M\_MAX\_NB\_ARGUMENT].
x, y shall be within [0..M\_MAX\_NB\_ARGUMENT].
If the result is not in [0..M\_MAX\_NB\_ARGUMENT+1], it returns OVERFLOW.
##### M\_SUB(x, y)
Return x-y (resolution is performed at preprocessing time).
x, y and the result shall be within [0..M\_MAX\_NB\_ARGUMENT] and x >= y.
x, y shall be within [0..M\_MAX\_NB\_ARGUMENT].
If the result is not in [0..M\_MAX\_NB\_ARGUMENT], it returns UNDERFLOW.
##### M\_BOOL(cond)