Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/SmtLanguageStandaloneSetup.java


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

/*
* generated by Xtext
*/
package hu.bme.mit.inf.dslreasoner;

/**
 * Initialization support for running Xtext languages 
 * without equinox extension registry
 */
public class SmtLanguageStandaloneSetup extends SmtLanguageStandaloneSetupGenerated{

	public static void doSetup() {
		new SmtLanguageStandaloneSetup().createInjectorAndDoEMFRegistration();
	}
}