1 files changed, 17 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/queries/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/queries/signatureQueries.vql b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/queries/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/queries/signatureQueries.vql
new file mode 100644
index 00000000..5b04960e
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/queries/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/queries/signatureQueries.vql
@@ -0,0 +1,17 @@
+package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries
+
+import epackage "http://www.bme.hu/mit/inf/dslreasoner/AlloyLanguage"
+
+pattern directSubset(x: ALSSignatureDeclaration, y: ALSSignatureDeclaration) {
+        ALSSignatureBody.declarations(b,y);
+        ALSSignatureBody.supertype(b,x);
+} or {
+        ALSSignatureBody.declarations(b,y);
+        ALSSignatureBody.superset(b,x);
+}
+
+pattern subset(x: ALSSignatureDeclaration, y: ALSSignatureDeclaration) {
+        x == y;
+} or {
+        find directSubset+(x,y);
+}