Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/*
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.scoping


/**
 * This class contains custom scoping description.
 * 
 * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping
 * on how and when to use it.
 */
class VampireLanguageScopeProvider extends AbstractVampireLanguageScopeProvider {
	//TODO
}