1 files changed, 0 insertions, 10 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 16c24d05..78525a35 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,16 +11,6 @@ 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);

 }