Changes between Version 42 and Version 43 of IR

Timestamp:

11/23/15 17:57:04 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -177 +177 @@
 * `$initval(T)` : initial value of the named type
 * `$defined(e)` : is `e` defined? Type is `$bool`
-* `$hasNextIn((i, j, k…), dom)`: an expression of boolean type, testing if the domain `dom` contains any element after `(i, j, k, ...)`
-* `$nextIn((i, j, k…), dom)`: an expression of integer tuple type, the value is the tuple in the domain `dom` after `(i, j, k, ...)`
+* `$has_next(dom, i, j, k, …)`: an expression of boolean type, testing if the domain `dom` contains any element after `(i, j, k, ...)`
 * `e1+e2` : addition.   One of the following must hold:
  * `e1` and `e2` have the same numeric type.  Note that there are no "automatic conversions" as there are in C.  If the original expressions have different types, explicit casts must be inserted.  
@@ -200 +199 @@
 * `e1<e2`, `e1<=e2`
 * `e0(e1,...,en)` : a function call where `e` must evaluate to an abstract or pure system function
-* `$forall`, `$exists` : **FILL IN**
+* `$forall`, `$exists` :  `$forall {int i | e0} a[i] >= 0`
 * `e1.i`, some natural number i (tuple read)
 * `e1&e2`, `e1|e2`, `e1^e2`, `~e1` : bit-wise operations: arguments are arrays of booleans
@@ -237 +236 @@
 * Atomic_exit: `$atomic_exit;`
 * Parfor_spawn: `$parfor_spawn(int i,j,..: dom) f(i,j,...);`
+* Domain iterator: `$next(dom, i, j,k,  …)` updates `i`, `j`, `k`, ... to be the value of the inter tuple in `dom` after `(i, j, k, ...)`
 * For_dom_enter (for domains): `$for_enter(i,j,k..: dom);`