diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-20 20:39:28 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:33:22 -0400 |
commit | 513a5afe3a8663ad30112f7e3c0e66137938e635 (patch) | |
tree | e9ae81f529712a372bd203cb0ef2a19b9b224c95 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/VampireQueries.java | |
parent | Implement Containment mapping (partially) and revisit enum mapping (diff) | |
download | VIATRA-Generator-513a5afe3a8663ad30112f7e3c0e66137938e635.tar.gz VIATRA-Generator-513a5afe3a8663ad30112f7e3c0e66137938e635.tar.zst VIATRA-Generator-513a5afe3a8663ad30112f7e3c0e66137938e635.zip |
Add gitignore, commit everything
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/VampireQueries.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/VampireQueries.java | 174 |
1 files changed, 0 insertions, 174 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/VampireQueries.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/VampireQueries.java deleted file mode 100644 index e3518cd6..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/VampireQueries.java +++ /dev/null | |||
@@ -1,174 +0,0 @@ | |||
1 | /** | ||
2 | * Generated from platform:/resource/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.vampire.queries; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSAnd; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSAnnotation; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSComment; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSEquivalent; | ||
10 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSExistentialQuantifier; | ||
11 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFofFormula; | ||
12 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFunction; | ||
13 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFunctionFof; | ||
14 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSInequality; | ||
15 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSOr; | ||
16 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSUnaryNegation; | ||
17 | import ca.mcgill.ecse.dslreasoner.vampire.queries.VLSUniversalQuantifier; | ||
18 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | ||
19 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | ||
20 | |||
21 | /** | ||
22 | * A pattern group formed of all public patterns defined in vampireQueries.vql. | ||
23 | * | ||
24 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare | ||
25 | * a VIATRA Query engine for matching all patterns originally defined in file vampireQueries.vql, | ||
26 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | ||
27 | * | ||
28 | * <p> From package ca.mcgill.ecse.dslreasoner.vampire.queries, the group contains the definition of the following patterns: <ul> | ||
29 | * <li>VLSComment</li> | ||
30 | * <li>VLSFofFormula</li> | ||
31 | * <li>VLSAnnotation</li> | ||
32 | * <li>VLSOr</li> | ||
33 | * <li>VLSAnd</li> | ||
34 | * <li>VLSEquivalent</li> | ||
35 | * <li>VLSFunction</li> | ||
36 | * <li>VLSExistentialQuantifier</li> | ||
37 | * <li>VLSUniversalQuantifier</li> | ||
38 | * <li>VLSUnaryNegation</li> | ||
39 | * <li>VLSInequality</li> | ||
40 | * <li>VLSFunctionFof</li> | ||
41 | * </ul> | ||
42 | * | ||
43 | * @see IQueryGroup | ||
44 | * | ||
45 | */ | ||
46 | @SuppressWarnings("all") | ||
47 | public final class VampireQueries extends BaseGeneratedPatternGroup { | ||
48 | /** | ||
49 | * Access the pattern group. | ||
50 | * | ||
51 | * @return the singleton instance of the group | ||
52 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | ||
53 | * | ||
54 | */ | ||
55 | public static VampireQueries instance() { | ||
56 | if (INSTANCE == null) { | ||
57 | INSTANCE = new VampireQueries(); | ||
58 | } | ||
59 | return INSTANCE; | ||
60 | } | ||
61 | |||
62 | private static VampireQueries INSTANCE; | ||
63 | |||
64 | private VampireQueries() { | ||
65 | querySpecifications.add(VLSComment.instance()); | ||
66 | querySpecifications.add(VLSFofFormula.instance()); | ||
67 | querySpecifications.add(VLSAnnotation.instance()); | ||
68 | querySpecifications.add(VLSOr.instance()); | ||
69 | querySpecifications.add(VLSAnd.instance()); | ||
70 | querySpecifications.add(VLSEquivalent.instance()); | ||
71 | querySpecifications.add(VLSFunction.instance()); | ||
72 | querySpecifications.add(VLSExistentialQuantifier.instance()); | ||
73 | querySpecifications.add(VLSUniversalQuantifier.instance()); | ||
74 | querySpecifications.add(VLSUnaryNegation.instance()); | ||
75 | querySpecifications.add(VLSInequality.instance()); | ||
76 | querySpecifications.add(VLSFunctionFof.instance()); | ||
77 | } | ||
78 | |||
79 | public VLSComment getVLSComment() { | ||
80 | return VLSComment.instance(); | ||
81 | } | ||
82 | |||
83 | public VLSComment.Matcher getVLSComment(final ViatraQueryEngine engine) { | ||
84 | return VLSComment.Matcher.on(engine); | ||
85 | } | ||
86 | |||
87 | public VLSFofFormula getVLSFofFormula() { | ||
88 | return VLSFofFormula.instance(); | ||
89 | } | ||
90 | |||
91 | public VLSFofFormula.Matcher getVLSFofFormula(final ViatraQueryEngine engine) { | ||
92 | return VLSFofFormula.Matcher.on(engine); | ||
93 | } | ||
94 | |||
95 | public VLSAnnotation getVLSAnnotation() { | ||
96 | return VLSAnnotation.instance(); | ||
97 | } | ||
98 | |||
99 | public VLSAnnotation.Matcher getVLSAnnotation(final ViatraQueryEngine engine) { | ||
100 | return VLSAnnotation.Matcher.on(engine); | ||
101 | } | ||
102 | |||
103 | public VLSOr getVLSOr() { | ||
104 | return VLSOr.instance(); | ||
105 | } | ||
106 | |||
107 | public VLSOr.Matcher getVLSOr(final ViatraQueryEngine engine) { | ||
108 | return VLSOr.Matcher.on(engine); | ||
109 | } | ||
110 | |||
111 | public VLSAnd getVLSAnd() { | ||
112 | return VLSAnd.instance(); | ||
113 | } | ||
114 | |||
115 | public VLSAnd.Matcher getVLSAnd(final ViatraQueryEngine engine) { | ||
116 | return VLSAnd.Matcher.on(engine); | ||
117 | } | ||
118 | |||
119 | public VLSEquivalent getVLSEquivalent() { | ||
120 | return VLSEquivalent.instance(); | ||
121 | } | ||
122 | |||
123 | public VLSEquivalent.Matcher getVLSEquivalent(final ViatraQueryEngine engine) { | ||
124 | return VLSEquivalent.Matcher.on(engine); | ||
125 | } | ||
126 | |||
127 | public VLSFunction getVLSFunction() { | ||
128 | return VLSFunction.instance(); | ||
129 | } | ||
130 | |||
131 | public VLSFunction.Matcher getVLSFunction(final ViatraQueryEngine engine) { | ||
132 | return VLSFunction.Matcher.on(engine); | ||
133 | } | ||
134 | |||
135 | public VLSExistentialQuantifier getVLSExistentialQuantifier() { | ||
136 | return VLSExistentialQuantifier.instance(); | ||
137 | } | ||
138 | |||
139 | public VLSExistentialQuantifier.Matcher getVLSExistentialQuantifier(final ViatraQueryEngine engine) { | ||
140 | return VLSExistentialQuantifier.Matcher.on(engine); | ||
141 | } | ||
142 | |||
143 | public VLSUniversalQuantifier getVLSUniversalQuantifier() { | ||
144 | return VLSUniversalQuantifier.instance(); | ||
145 | } | ||
146 | |||
147 | public VLSUniversalQuantifier.Matcher getVLSUniversalQuantifier(final ViatraQueryEngine engine) { | ||
148 | return VLSUniversalQuantifier.Matcher.on(engine); | ||
149 | } | ||
150 | |||
151 | public VLSUnaryNegation getVLSUnaryNegation() { | ||
152 | return VLSUnaryNegation.instance(); | ||
153 | } | ||
154 | |||
155 | public VLSUnaryNegation.Matcher getVLSUnaryNegation(final ViatraQueryEngine engine) { | ||
156 | return VLSUnaryNegation.Matcher.on(engine); | ||
157 | } | ||
158 | |||
159 | public VLSInequality getVLSInequality() { | ||
160 | return VLSInequality.instance(); | ||
161 | } | ||
162 | |||
163 | public VLSInequality.Matcher getVLSInequality(final ViatraQueryEngine engine) { | ||
164 | return VLSInequality.Matcher.on(engine); | ||
165 | } | ||
166 | |||
167 | public VLSFunctionFof getVLSFunctionFof() { | ||
168 | return VLSFunctionFof.instance(); | ||
169 | } | ||
170 | |||
171 | public VLSFunctionFof.Matcher getVLSFunctionFof(final ViatraQueryEngine engine) { | ||
172 | return VLSFunctionFof.Matcher.on(engine); | ||
173 | } | ||
174 | } | ||