Minor improvements in grammar

diff --git a/grammar b/grammar
index af39522f50ddd63a198f9caad769c4992c51e500..8ea600ecd4551770d20cf1e13d4cfd9700ba7f8b 100644 (file)
--- a/grammar
+++ b/grammar
@@ -1,4 +1,3 @@
-set_named_definition -> set_name EQUAL LEFT_CURLY set_definition RIGHT_CURLY
 set_named_definition -> set_name EQUAL set
 set_definition -> points_domain VERTICAL_BAR constraint_list
 points_domain -> single_points_domain COMMA points_domain
@@ -39,6 +38,7 @@ parameter_equations -> parameter_equation COMMA parameter_equations
 parameter_equations -> parameter_equation
 parameter_equation -> point EQUAL expression
 set -> set_name
+set -> LEFT_CURLY set_definition RIGHT_CURLY
 set -> LEFT_BRACKET set set_op set RIGHT_BRACKET
 set -> transform set
 set_op -> UNION
@@ -48,8 +48,10 @@ set_op -> CARTESIAN_PRODUCT
 set_op -> MINKOWSKI_SUM
 transform -> rotation
 transform -> translate
-rotation -> ROTATE LEFT_BRACKET number COMMA axis COMMA set RIGHT_BRACKET
-translate -> TRANSLATE LEFT_BRACKET vector COMMA set RIGHT_BRACKET
+transform -> mirror
+rotation -> ROTATE LEFT_BRACKET number COMMA axis RIGHT_BRACKET set
+translate -> TRANSLATE LEFT_BRACKET vector RIGHT_BRACKET set
+mirror -> MIRROR LEFT_BRACKET vector RIGHT_BRACKET set
 axis -> vector
 vector -> LEFT_SQUARE number COMMA number COMMA number RIGHT_SQUARE
 parameter_name -> NAME