/* * generated by Xtext 2.12.0 */packageca.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. */classVampireLanguageScopeProviderextendsAbstractVampireLanguageScopeProvider{}