diff options
Diffstat (limited to 'language-web/src/main/js/language/problem.grammar')
-rw-r--r-- | language-web/src/main/js/language/problem.grammar | 10 |
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 | ||
88 | RuleName { QualifiedName } | 88 | RuleName { QualifiedName } |
89 | 89 | ||
90 | UniqueNodeName { QualifiedName } | 90 | IndividualNodeName { QualifiedName } |
91 | 91 | ||
92 | VariableName { QualifiedName } | 92 | VariableName { QualifiedName } |
93 | 93 | ||