diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 09:13:36 -0500 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 09:13:36 -0500 |
commit | 7193efd76bdd814db060fe88f294f40865cf6d09 (patch) | |
tree | 37b8bce3a5948866802530a6d219340dafe73b20 /Domains/simpleScenario/queries/logProb.vql | |
parent | improve simpleScenario MM (diff) | |
download | VIATRA-Generator-7193efd76bdd814db060fe88f294f40865cf6d09.tar.gz VIATRA-Generator-7193efd76bdd814db060fe88f294f40865cf6d09.tar.zst VIATRA-Generator-7193efd76bdd814db060fe88f294f40865cf6d09.zip |
Add some documents to debug MG issue
Diffstat (limited to 'Domains/simpleScenario/queries/logProb.vql')
-rw-r--r-- | Domains/simpleScenario/queries/logProb.vql | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/Domains/simpleScenario/queries/logProb.vql b/Domains/simpleScenario/queries/logProb.vql new file mode 100644 index 00000000..e6045909 --- /dev/null +++ b/Domains/simpleScenario/queries/logProb.vql | |||
@@ -0,0 +1,41 @@ | |||
1 | package queries | ||
2 | |||
3 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" | ||
4 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" | ||
5 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" | ||
6 | |||
7 | pattern UPMUSTPropagateConstraint0_pattern_queries_refSpec( | ||
8 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
9 | var_l) | ||
10 | { | ||
11 | // Original Constraints | ||
12 | // var_l exported | ||
13 | find mustInRelationreferenceCoord_attribute_Lane(problem,interpretation,var_l,var_w); | ||
14 | // Propagation for constraint | ||
15 | PrimitiveElement.valueSet(var_w,setted_var_w); | ||
16 | IntegerElement.value(var_w,value_var_w); | ||
17 | // Matching variables | ||
18 | //var_w==up_1; | ||
19 | } | ||
20 | |||
21 | /** | ||
22 | * Matcher for detecting tuples t where []referenceCoord attribute Lane(source,target) | ||
23 | */ | ||
24 | pattern mustInRelationreferenceCoord_attribute_Lane( | ||
25 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
26 | source: DefinedElement, target:DefinedElement) | ||
27 | { | ||
28 | find interpretation(problem,interpretation); | ||
29 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
30 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"referenceCoord attribute Lane"); | ||
31 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | ||
32 | BinaryElementRelationLink.param1(link,source); | ||
33 | BinaryElementRelationLink.param2(link,target); | ||
34 | } | ||
35 | |||
36 | ////////// | ||
37 | // 0. Util | ||
38 | ////////// | ||
39 | pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) { | ||
40 | PartialInterpretation.problem(interpretation,problem); | ||
41 | } \ No newline at end of file | ||