grammar for domains

conjure-cp · May 12, 2016 · e353734 · e353734
1 parent 195193a
commit e353734
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/docs/essence.rst b/docs/essence.rst
@@ -215,6 +215,26 @@ The first character of a valid name has to be a letter or an underscore characte
 Domains
 -------
 
+.. code-block:: bnf
+
+    Domain := "bool"
+            | "int" list(Expression, ",", "()")
+            | *(enumerated)* Name list(Expression, ",", "()")
+            | *(unnamed)* Name
+            | "tuple" list(Domain, ",", "()")
+            | "record" list(NameDomain, ",", "{}")
+            | "variant" list(NameDomain, ",", "{}")
+            | "matrix indexed by" list(Domain, ",", "[]") of Domain
+            | "set" list(Attribute, ",", "()") "of" Domain
+            | "mset" list(Attribute, ",", "()") "of" Domain
+            | "function" list(Attribute, ",", "()") Domain "-->" Domain
+            | "sequence" list(Attribute, ",", "()") "of" Domain
+            | "relation" list(Attribute, ",", "()") "of" list(Domain, "*", "()")
+            | "partition" list(Attribute, ",", "()") "from" Domain
+
+
+
+
 (In preparation)