diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-08 23:37:36 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-08 23:37:36 +0200 |
commit | 5b45fe30d3432241fd493f0fd7e1865abe78dfea (patch) | |
tree | 1ad00784e38658f7c19e631df5a59ad06f9c2f6e /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin | |
parent | UP patterns -> decision procedure trace finished (diff) | |
parent | Adjust FamilyTree Case Study (diff) | |
download | VIATRA-Generator-5b45fe30d3432241fd493f0fd7e1865abe78dfea.tar.gz VIATRA-Generator-5b45fe30d3432241fd493f0fd7e1865abe78dfea.tar.zst VIATRA-Generator-5b45fe30d3432241fd493f0fd7e1865abe78dfea.zip |
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin')
4 files changed, 21 insertions, 19 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore new file mode 100644 index 00000000..3d70f0da --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore | |||
@@ -0,0 +1,2 @@ | |||
1 | /queries/ | ||
2 | /run/ | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace index ab0f3a9a..364eae66 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace | |||
Binary files differ | |||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace index aaf4d0c2..1b0dca98 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace | |||
Binary files differ | |||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql index a204443a..e7b44f0b 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql | |||
@@ -9,25 +9,25 @@ pattern memberIsItsOwnParent(m: Member) = { | |||
9 | m == p; | 9 | m == p; |
10 | } | 10 | } |
11 | 11 | ||
12 | @Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2}) | 12 | //@Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2}) |
13 | pattern twoMembersHaveNoParent(m1:Member, m2:Member) = { | 13 | //pattern twoMembersHaveNoParent(m1:Member, m2:Member) = { |
14 | neg find memberHasParent(m1); | 14 | // neg find memberHasParent(m1); |
15 | neg find memberHasParent(m2); | 15 | // neg find memberHasParent(m2); |
16 | m1 != m2; | 16 | // m1 != m2; |
17 | } | 17 | //} |
18 | 18 | // | |
19 | pattern memberHasParent(m: Member) = { | 19 | //pattern memberHasParent(m: Member) = { |
20 | Member.parents(m, _); | 20 | // Member.parents(m, _); |
21 | } | 21 | //} |
22 | 22 | // | |
23 | @Constraint(message="parentTooYoung", severity="error", key={m, p}) | 23 | //@Constraint(message="parentTooYoung", severity="error", key={m, p}) |
24 | pattern parentTooYoung(m: Member, p: Member) = { | 24 | //pattern parentTooYoung(m: Member, p: Member) = { |
25 | FamilyTree.members(_, m); | 25 | // FamilyTree.members(_, m); |
26 | Member.parents(m, p); | 26 | // Member.parents(m, p); |
27 | Member.age(m, mAge); | 27 | // Member.age(m, mAge); |
28 | Member.age(p, pAge); | 28 | // Member.age(p, pAge); |
29 | check (mAge <= (pAge + 12)); | 29 | // check (mAge <= (pAge + 12)); |
30 | } | 30 | //} |
31 | 31 | ||
32 | 32 | ||
33 | 33 | ||