/** generated by Xtext*/packagehu.bme.mit.inf.dslreasoner;/** * Initialization support for running Xtext languages * without equinox extension registry */publicclassSmtLanguageStandaloneSetupextendsSmtLanguageStandaloneSetupGenerated{publicstaticvoiddoSetup(){newSmtLanguageStandaloneSetup().createInjectorAndDoEMFRegistration();}}