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