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