diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-07 17:26:07 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-07 17:26:07 +0200 |
| commit | 6a3ff9bb588bf47242a56b91e35479dbba38eb19 (patch) | |
| tree | 0432ecd0edafb99dc9f017d0a8cfee31a931583a /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme | |
| parent | Fix concurrency bug in AlloyHandler (diff) | |
| download | VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.gz VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.zst VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.zip | |
Scope unsat benchmarks
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql | 10 |
1 files changed, 10 insertions, 0 deletions
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) { | |||
| 11 | find directSupertype+(a,a); | 11 | find directSupertype+(a,a); |
| 12 | } | 12 | } |
| 13 | 13 | ||
| 14 | pattern unsat_subpackage(a: EPackage, b: EPackage) { | ||
| 15 | EPackage.eSubpackages(a, b); | ||
| 16 | } | ||
| 17 | |||
| 18 | @Constraint(key={p}, severity="error", message="error") | ||
| 19 | pattern unsat_loopInInheritance(p: EPackage) { | ||
| 20 | neg find unsat_subpackage(_, p); | ||
| 21 | neg find loopInInheritence(_); | ||
| 22 | } | ||
| 23 | |||
| 14 | pattern opposite(a:EReference, b: EReference) { | 24 | pattern opposite(a:EReference, b: EReference) { |
| 15 | EReference.eOpposite(a,b); | 25 | EReference.eOpposite(a,b); |
| 16 | } | 26 | } |