/** */ package net.certware.argument.language.l.impl; import net.certware.argument.language.l.GroundArithmeticTerm; import net.certware.argument.language.l.LPackage; import org.eclipse.emf.ecore.EClass; /** * <!-- begin-user-doc --> * An implementation of the model object '<em><b>Ground Arithmetic Term</b></em>'. * <!-- end-user-doc --> * * @generated */ public class GroundArithmeticTermImpl extends GroundTermImpl implements GroundArithmeticTerm { /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ protected GroundArithmeticTermImpl() { super(); } /** * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ @Override protected EClass eStaticClass() { return LPackage.Literals.GROUND_ARITHMETIC_TERM; } } //GroundArithmeticTermImpl