Changes between Version 127 and Version 128 of IR

Timestamp:

12/10/15 12:29:00 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -737 +737 @@
 * check if domain is rectangular: `funl[lib="domain"] $is_rectangular_domain(dom: Domain): Bool`
 * get dimension: `fun[lib="domain", pure] $dimension_of(dom: Domain): Integer`
+* get size (total number of tuples): `fun[lib="domain"] $domain_size(dom: Domain): Integer`
 
 === sequence operations `seq` ===