diff options
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
-rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index f4cf1712..704badab 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -16,6 +16,11 @@ | |||
16 | @top Problem { statement* } | 16 | @top Problem { statement* } |
17 | 17 | ||
18 | statement { | 18 | statement { |
19 | Assertion { | ||
20 | kw<"default">? (NotOp | UnknownOp)? RelationName | ||
21 | ParameterList<AssertionArgument> | ||
22 | (":" Expr)? "." | ||
23 | } | | ||
19 | ProblemDeclaration { | 24 | ProblemDeclaration { |
20 | kw<"problem"> QualifiedName "." | 25 | kw<"problem"> QualifiedName "." |
21 | } | | 26 | } | |
@@ -45,11 +50,6 @@ statement { | |||
45 | // RuleName ParameterList<Parameter>? | 50 | // RuleName ParameterList<Parameter>? |
46 | // RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." } | 51 | // RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." } |
47 | //} | | 52 | //} | |
48 | Assertion { | ||
49 | kw<"default">? (NotOp | UnknownOp)? RelationName | ||
50 | ParameterList<AssertionArgument> | ||
51 | (":" Expr)? "." | ||
52 | } | | ||
53 | IndividualDeclaration { | 53 | IndividualDeclaration { |
54 | kw<"indiv"> sep<",", IndividualNodeName> "." | 54 | kw<"indiv"> sep<",", IndividualNodeName> "." |
55 | } | | 55 | } | |