2 files changed, 1 insertions, 21 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);

 }

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql
index c785c2fc..719a9d96 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql
@@ -2,7 +2,7 @@ package hu.bme.mit.inf.dslreasoner.domains.alloyexamples
 

 import epackage "FS"

 

-pattern patternContent(o1: Dir, o2: FSObject) {

+pattern patternContent(o1: FSObject, o2: FSObject) {

         Dir.contents(o1,o2);

 }

 

@@ -22,13 +22,3 @@ pattern contentInNotLive(parent : Dir, child: FSObject) {
         Dir.contents(parent,child);

         neg find live(_,child);

 }

-

-pattern dir(d: Dir) {

-        Dir(d);

-}

-

-@Constraint(key={fs}, severity="error", message="error")

-pattern rootIsNotDir(fs: FileSystem) {

-        FileSystem.root(fs, root);

-        neg find dir(root);

-}