diff options
author | 2019-02-01 16:03:30 -0500 | |
---|---|---|
committer | 2019-02-01 16:03:30 -0500 | |
commit | 717916e99b2c8e7965fb31f4448b4336d8c2f19a (patch) | |
tree | 074c77b8465f1e47e7a28af2d95f79c1f5abaf86 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/plugin.xml | |
parent | FAM MM transformation works (diff) | |
download | VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.gz VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.zst VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.zip |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/plugin.xml')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/plugin.xml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/plugin.xml b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/plugin.xml new file mode 100644 index 00000000..b2d1db97 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/plugin.xml | |||
@@ -0,0 +1,18 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><plugin> | ||
2 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VampireQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VampireQueries" id="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VampireQueries"> | ||
4 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSComment"/> | ||
5 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSFofFormula"/> | ||
6 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSAnnotation"/> | ||
7 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSOr"/> | ||
8 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSAnd"/> | ||
9 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSEquivalent"/> | ||
10 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSFunction"/> | ||
11 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSExistentialQuantifier"/> | ||
12 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSUniversalQuantifier"/> | ||
13 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSUnaryNegation"/> | ||
14 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSInequality"/> | ||
15 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSFunctionFof"/> | ||
16 | </group> | ||
17 | </extension> | ||
18 | </plugin> | ||