blob: b2d1db970ca086dcf50b5c5b94ebd4409f968012 (
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"?><plugin>
<extension id="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VampireQueries" point="org.eclipse.viatra.query.runtime.queryspecification">
<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">
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSComment"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSFofFormula"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSAnnotation"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSOr"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSAnd"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSEquivalent"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSFunction"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSExistentialQuantifier"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSUniversalQuantifier"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSUnaryNegation"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSInequality"/>
<query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSFunctionFof"/>
</group>
</extension>
</plugin>
|