/** * generated by Xtext 2.12.0 */ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; import org.eclipse.emf.ecore.EClass; /** * * An implementation of the model object 'VLS Real'. * * * @generated */ public class VLSRealImpl extends VLSDefinedTermImpl implements VLSReal { /** * * * @generated */ protected VLSRealImpl() { super(); } /** * * * @generated */ @Override protected EClass eStaticClass() { return VampireLanguagePackage.Literals.VLS_REAL; } } //VLSRealImpl