From 717916e99b2c8e7965fb31f4448b4336d8c2f19a Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 1 Feb 2019 16:03:30 -0500
Subject: Fix FAM Test. Begin Grammar Fix.

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

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

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/queries/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/vampireQueries.vql b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/queries/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/vampireQueries.vql
new file mode 100644
index 00000000..2db380e4
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/queries/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/vampireQueries.vql
@@ -0,0 +1,57 @@
+package ca.mcgill.ecse.dslreasoner.vampire.reasoner.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-54-g00ecf