diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-06-01 18:37:20 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-06-01 20:17:47 +0200 |
commit | 07b4048828d9ef8126282c4626dd3f0729213d91 (patch) | |
tree | 4523d01e7802585ae3a3c7ec622d1b0a1e3dfa91 /subprojects/frontend/src | |
parent | fix(reasoning): candidate count literal rewriting (diff) | |
download | refinery-07b4048828d9ef8126282c4626dd3f0729213d91.tar.gz refinery-07b4048828d9ef8126282c4626dd3f0729213d91.tar.zst refinery-07b4048828d9ef8126282c4626dd3f0729213d91.zip |
feat: partial references
References marked as partial are not concretized during model generation. The
should be managed by the user manually using propagation rules instead.
Diffstat (limited to 'subprojects/frontend/src')
-rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 | ||||
-rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index ffae220c..a172835d 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -161,7 +161,7 @@ AssertionActionArgument { VariableName | StarArgument } | |||
161 | Constant { Real | String | StarMult | LogicValue } | 161 | Constant { Real | String | StarMult | LogicValue } |
162 | 162 | ||
163 | ReferenceKind { | 163 | ReferenceKind { |
164 | kw<"refers"> | ckw<"contains"> | kw<"container"> | 164 | kw<"refers"> | ckw<"contains"> | kw<"container"> | kw<"partial"> |
165 | } | 165 | } |
166 | 166 | ||
167 | LogicValue { | 167 | LogicValue { |
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index ae998d20..5ca162d9 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
@@ -36,7 +36,7 @@ const parserWithMetadata = parser.configure({ | |||
36 | 'import as declare atom multi': t.definitionKeyword, | 36 | 'import as declare atom multi': t.definitionKeyword, |
37 | 'extern datatype aggregator': t.definitionKeyword, | 37 | 'extern datatype aggregator': t.definitionKeyword, |
38 | rule: t.definitionKeyword, | 38 | rule: t.definitionKeyword, |
39 | 'abstract extends refers contains container opposite': t.modifier, | 39 | 'abstract extends refers contains container partial opposite': t.modifier, |
40 | default: t.modifier, | 40 | default: t.modifier, |
41 | 'propagation decision': t.modifier, | 41 | 'propagation decision': t.modifier, |
42 | 'true false unknown error': t.keyword, | 42 | 'true false unknown error': t.keyword, |