aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/language/problem.grammar
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/src/main/js/language/problem.grammar')
-rw-r--r--language-web/src/main/js/language/problem.grammar10
1 files changed, 5 insertions, 5 deletions
diff --git a/language-web/src/main/js/language/problem.grammar b/language-web/src/main/js/language/problem.grammar
index 8e39243f..0cbfa831 100644
--- a/language-web/src/main/js/language/problem.grammar
+++ b/language-web/src/main/js/language/problem.grammar
@@ -15,7 +15,7 @@ statement {
15 } | 15 } |
16 EnumDefinition { 16 EnumDefinition {
17 ckw<"enum"> RelationName 17 ckw<"enum"> RelationName
18 (EnumBody { "{" sep<",", UniqueNodeName> "}" } | ".") 18 (EnumBody { "{" sep<",", IndividualNodeName> "}" } | ".")
19 } | 19 } |
20 PredicateDefinition { 20 PredicateDefinition {
21 (ckw<"error"> ckw<"pred">? | ckw<"direct">? ckw<"pred">) 21 (ckw<"error"> ckw<"pred">? | ckw<"direct">? ckw<"pred">)
@@ -32,10 +32,10 @@ statement {
32 ParameterList<AssertionArgument> (":" LogicValue)? "." 32 ParameterList<AssertionArgument> (":" LogicValue)? "."
33 } | 33 } |
34 NodeValueAssertion { 34 NodeValueAssertion {
35 UniqueNodeName ":" Constant "." 35 IndividualNodeName ":" Constant "."
36 } | 36 } |
37 UniqueDeclaration { 37 IndividualDeclaration {
38 ckw<"unique"> sep<",", UniqueNodeName> "." 38 ckw<"individual"> sep<",", IndividualNodeName> "."
39 } | 39 } |
40 ScopeDeclaration { 40 ScopeDeclaration {
41 kw<"scope"> sep<",", ScopeElement> "." 41 kw<"scope"> sep<",", ScopeElement> "."
@@ -87,7 +87,7 @@ RelationName { QualifiedName }
87 87
88RuleName { QualifiedName } 88RuleName { QualifiedName }
89 89
90UniqueNodeName { QualifiedName } 90IndividualNodeName { QualifiedName }
91 91
92VariableName { QualifiedName } 92VariableName { QualifiedName }
93 93