From 6a6796604adb97db94ba699dc2b2e0fd5efdc9ac Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 8 May 2020 16:11:49 -0400 Subject: Adjust FamilyTree Case Study --- .../bin/queries/familyTreeConstraints.vql | 38 +++++++++++----------- 1 file changed, 19 insertions(+), 19 deletions(-) (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql') 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) = { m == p; } -@Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2}) -pattern twoMembersHaveNoParent(m1:Member, m2:Member) = { - neg find memberHasParent(m1); - neg find memberHasParent(m2); - m1 != m2; -} - -pattern memberHasParent(m: Member) = { - Member.parents(m, _); -} - -@Constraint(message="parentTooYoung", severity="error", key={m, p}) -pattern parentTooYoung(m: Member, p: Member) = { - FamilyTree.members(_, m); - Member.parents(m, p); - Member.age(m, mAge); - Member.age(p, pAge); - check (mAge <= (pAge + 12)); -} +//@Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2}) +//pattern twoMembersHaveNoParent(m1:Member, m2:Member) = { +// neg find memberHasParent(m1); +// neg find memberHasParent(m2); +// m1 != m2; +//} +// +//pattern memberHasParent(m: Member) = { +// Member.parents(m, _); +//} +// +//@Constraint(message="parentTooYoung", severity="error", key={m, p}) +//pattern parentTooYoung(m: Member, p: Member) = { +// FamilyTree.members(_, m); +// Member.parents(m, p); +// Member.age(m, mAge); +// Member.age(p, pAge); +// check (mAge <= (pAge + 12)); +//} -- cgit v1.2.3-54-g00ecf