blob: 95881b2657fc795c36024e5b3d58dd367e2566e6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.4"?><plugin>
<extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.VampireQueries" point="org.eclipse.viatra.query.runtime.queryspecification">
<group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.VampireQueries" id="ca.mcgill.ecse.dslreasoner.vampire.queries.VampireQueries">
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSComment"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFofFormula"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSAnnotation"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSOr"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSAnd"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSEquivalent"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFunction"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSExistentialQuantifier"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSUniversalQuantifier"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSUnaryNegation"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSInequality"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFunctionFof"/>
</group>
</extension>
</plugin>
|
