/** */ package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPrimitiveTypeReference; import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; import org.eclipse.emf.ecore.EClass; /** * * An implementation of the model object 'SMT Primitive Type Reference'. * *

*

* * @generated */ public class SMTPrimitiveTypeReferenceImpl extends SMTTypeReferenceImpl implements SMTPrimitiveTypeReference { /** * * * @generated */ protected SMTPrimitiveTypeReferenceImpl() { super(); } /** * * * @generated */ @Override protected EClass eStaticClass() { return SmtLanguagePackage.Literals.SMT_PRIMITIVE_TYPE_REFERENCE; } } //SMTPrimitiveTypeReferenceImpl