From f87b4233437f0900c19f462b5e443a3c81b27b6e Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 15 Jan 2019 12:44:33 -0500
Subject: Initial workspace setup

---
 .../dslreasoner/vampire/queries/vampireQueries.vql | 57 ++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql
new file mode 100644
index 00000000..2bc22f9e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql
@@ -0,0 +1,57 @@
+package ca.mcgill.ecse.dslreasoner.vampire.queries
+
+import "http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage"
+
+pattern VLSComment(term: VLSComment){
+	VLSComment(term);
+}
+
+pattern VLSFofFormula(term: VLSFofFormula){
+	VLSFofFormula(term);
+}
+
+pattern VLSAnnotation(term: VLSAnnotation){
+	VLSAnnotation(term);
+}
+
+
+//VLSFormula
+pattern VLSOr(term: VLSOr){
+	VLSOr(term);
+}
+
+pattern VLSAnd(term: VLSAnd){
+	VLSAnd(term);
+}
+
+pattern VLSEquivalent(term: VLSEquivalent){
+	VLSEquivalent(term);
+}
+
+pattern VLSFunction(term: VLSFunction){
+	VLSFunction(term);
+}
+
+pattern VLSExistentialQuantifier(term: VLSExistentialQuantifier){
+	VLSExistentialQuantifier(term);
+}
+
+pattern VLSUniversalQuantifier(term: VLSUniversalQuantifier){
+	VLSUniversalQuantifier(term);
+}
+
+pattern VLSUnaryNegation(term: VLSUnaryNegation){
+	VLSUnaryNegation(term);
+}
+
+pattern VLSInequality(term: VLSInequality){
+	VLSInequality(term);
+}
+
+pattern VLSFunctionFof(term: VLSFunctionFof){
+	VLSFunctionFof(term);
+}
+
+//pattern VLSFofTerm(term: VLSFofTerm){
+//	VLSFofTerm(term);
+//}
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2