From 6a3ff9bb588bf47242a56b91e35479dbba38eb19 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Thu, 7 May 2020 17:26:07 +0200
Subject: Scope unsat benchmarks

---
 .../hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme')

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
index 78525a35..16c24d05 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
@@ -11,6 +11,16 @@ pattern loopInInheritence(a: EClass) {
 	find directSupertype+(a,a);
 }
 
+pattern unsat_subpackage(a: EPackage, b: EPackage) {
+	EPackage.eSubpackages(a, b);
+}
+
+@Constraint(key={p}, severity="error", message="error")
+pattern unsat_loopInInheritance(p: EPackage) {
+	neg find unsat_subpackage(_, p);
+	neg find loopInInheritence(_);
+}
+
 pattern opposite(a:EReference, b: EReference) {
 	EReference.eOpposite(a,b);
 }
-- 
cgit v1.2.3-54-g00ecf