/** */ package net.certware.argument.language.l; import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; /** * <!-- begin-user-doc --> * The <b>Package</b> for the model. * It contains accessors for the meta objects to represent * <ul> * <li>each class,</li> * <li>each feature of each class,</li> * <li>each enum,</li> * <li>and each data type</li> * </ul> * <!-- end-user-doc --> * @see net.certware.argument.language.l.LFactory * @model kind="package" * @generated */ public interface LPackage extends EPackage { /** * The package name. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ String eNAME = "l"; /** * The package namespace URI. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ String eNS_URI = "http://www.certware.net/argument/language/L"; /** * The package namespace name. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ String eNS_PREFIX = "l"; /** * The singleton instance of the package. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ LPackage eINSTANCE = net.certware.argument.language.l.impl.LPackageImpl.init(); /** * The meta object id for the '{@link net.certware.argument.language.l.impl.ProgramImpl <em>Program</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ProgramImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getProgram() * @generated */ int PROGRAM = 0; /** * The feature id for the '<em><b>Statements</b></em>' containment reference list. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PROGRAM__STATEMENTS = 0; /** * The number of structural features of the '<em>Program</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PROGRAM_FEATURE_COUNT = 1; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.TermImpl <em>Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTerm() * @generated */ int TERM = 16; /** * The number of structural features of the '<em>Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TERM_FEATURE_COUNT = 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.BasicTermImpl <em>Basic Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicTerm() * @generated */ int BASIC_TERM = 1; /** * The number of structural features of the '<em>Basic Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_TERM_FEATURE_COUNT = TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.VariableImpl <em>Variable</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.VariableImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getVariable() * @generated */ int VARIABLE = 2; /** * The feature id for the '<em><b>Identifier</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int VARIABLE__IDENTIFIER = 0; /** * The number of structural features of the '<em>Variable</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int VARIABLE_FEATURE_COUNT = 1; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.TypedVariableImpl <em>Typed Variable</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TypedVariableImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTypedVariable() * @generated */ int TYPED_VARIABLE = 3; /** * The feature id for the '<em><b>Name</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPED_VARIABLE__NAME = BASIC_TERM_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Var</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPED_VARIABLE__VAR = BASIC_TERM_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Typed Variable</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPED_VARIABLE_FEATURE_COUNT = BASIC_TERM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.ArithmeticTermImpl <em>Arithmetic Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ArithmeticTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getArithmeticTerm() * @generated */ int ARITHMETIC_TERM = 4; /** * The feature id for the '<em><b>Term</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_TERM__TERM = BASIC_TERM_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_TERM__LHS = BASIC_TERM_FEATURE_COUNT + 1; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_TERM__RHS = BASIC_TERM_FEATURE_COUNT + 2; /** * The number of structural features of the '<em>Arithmetic Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_TERM_FEATURE_COUNT = BASIC_TERM_FEATURE_COUNT + 3; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.ArithmeticLiteralImpl <em>Arithmetic Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ArithmeticLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getArithmeticLiteral() * @generated */ int ARITHMETIC_LITERAL = 5; /** * The feature id for the '<em><b>V</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_LITERAL__V = 0; /** * The feature id for the '<em><b>Tv</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_LITERAL__TV = 1; /** * The feature id for the '<em><b>Const</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_LITERAL__CONST = 2; /** * The feature id for the '<em><b>Value</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_LITERAL__VALUE = 3; /** * The number of structural features of the '<em>Arithmetic Literal</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ARITHMETIC_LITERAL_FEATURE_COUNT = 4; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.GroundTermImpl <em>Ground Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundTerm() * @generated */ int GROUND_TERM = 12; /** * The number of structural features of the '<em>Ground Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_TERM_FEATURE_COUNT = 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.GroundArithmeticTermImpl <em>Ground Arithmetic Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundArithmeticTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundArithmeticTerm() * @generated */ int GROUND_ARITHMETIC_TERM = 6; /** * The number of structural features of the '<em>Ground Arithmetic Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ARITHMETIC_TERM_FEATURE_COUNT = GROUND_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.GroundArithmeticLiteralImpl <em>Ground Arithmetic Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundArithmeticLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundArithmeticLiteral() * @generated */ int GROUND_ARITHMETIC_LITERAL = 7; /** * The feature id for the '<em><b>Identifier</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ARITHMETIC_LITERAL__IDENTIFIER = 0; /** * The feature id for the '<em><b>Value</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ARITHMETIC_LITERAL__VALUE = 1; /** * The number of structural features of the '<em>Ground Arithmetic Literal</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ARITHMETIC_LITERAL_FEATURE_COUNT = 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.FunctionalTermImpl <em>Functional Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.FunctionalTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getFunctionalTerm() * @generated */ int FUNCTIONAL_TERM = 8; /** * The number of structural features of the '<em>Functional Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int FUNCTIONAL_TERM_FEATURE_COUNT = BASIC_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.GroundFunctionalTermImpl <em>Ground Functional Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundFunctionalTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundFunctionalTerm() * @generated */ int GROUND_FUNCTIONAL_TERM = 9; /** * The number of structural features of the '<em>Ground Functional Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_FUNCTIONAL_TERM_FEATURE_COUNT = GROUND_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.BasicTermsImpl <em>Basic Terms</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicTermsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicTerms() * @generated */ int BASIC_TERMS = 10; /** * The feature id for the '<em><b>Car</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_TERMS__CAR = 0; /** * The feature id for the '<em><b>Cdr</b></em>' containment reference list. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_TERMS__CDR = 1; /** * The number of structural features of the '<em>Basic Terms</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_TERMS_FEATURE_COUNT = 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.GroundTermsImpl <em>Ground Terms</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundTermsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundTerms() * @generated */ int GROUND_TERMS = 11; /** * The feature id for the '<em><b>Car</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_TERMS__CAR = GROUND_FUNCTIONAL_TERM_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Cdr</b></em>' containment reference list. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_TERMS__CDR = GROUND_FUNCTIONAL_TERM_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Ground Terms</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_TERMS_FEATURE_COUNT = GROUND_FUNCTIONAL_TERM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.QuantifiedTermImpl <em>Quantified Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.QuantifiedTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getQuantifiedTerm() * @generated */ int QUANTIFIED_TERM = 13; /** * The feature id for the '<em><b>Name</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int QUANTIFIED_TERM__NAME = TERM_FEATURE_COUNT + 0; /** * The number of structural features of the '<em>Quantified Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int QUANTIFIED_TERM_FEATURE_COUNT = TERM_FEATURE_COUNT + 1; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.UniversalQuantifiedTermImpl <em>Universal Quantified Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.UniversalQuantifiedTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getUniversalQuantifiedTerm() * @generated */ int UNIVERSAL_QUANTIFIED_TERM = 14; /** * The feature id for the '<em><b>Name</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int UNIVERSAL_QUANTIFIED_TERM__NAME = QUANTIFIED_TERM__NAME; /** * The number of structural features of the '<em>Universal Quantified Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int UNIVERSAL_QUANTIFIED_TERM_FEATURE_COUNT = QUANTIFIED_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.ExistentialQuantifiedTermImpl <em>Existential Quantified Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ExistentialQuantifiedTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getExistentialQuantifiedTerm() * @generated */ int EXISTENTIAL_QUANTIFIED_TERM = 15; /** * The feature id for the '<em><b>Name</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int EXISTENTIAL_QUANTIFIED_TERM__NAME = QUANTIFIED_TERM__NAME; /** * The number of structural features of the '<em>Existential Quantified Term</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int EXISTENTIAL_QUANTIFIED_TERM_FEATURE_COUNT = QUANTIFIED_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.TermsImpl <em>Terms</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TermsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTerms() * @generated */ int TERMS = 17; /** * The feature id for the '<em><b>Car</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TERMS__CAR = FUNCTIONAL_TERM_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Cdr</b></em>' containment reference list. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TERMS__CDR = FUNCTIONAL_TERM_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Terms</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TERMS_FEATURE_COUNT = FUNCTIONAL_TERM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.StatementImpl <em>Statement</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.StatementImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getStatement() * @generated */ int STATEMENT = 43; /** * The number of structural features of the '<em>Statement</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int STATEMENT_FEATURE_COUNT = 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.ConstantDeclarationImpl <em>Constant Declaration</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ConstantDeclarationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getConstantDeclaration() * @generated */ int CONSTANT_DECLARATION = 18; /** * The feature id for the '<em><b>Name</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int CONSTANT_DECLARATION__NAME = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Cv</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int CONSTANT_DECLARATION__CV = STATEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Constant Declaration</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int CONSTANT_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.TypeIdImpl <em>Type Id</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TypeIdImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTypeId() * @generated */ int TYPE_ID = 19; /** * The feature id for the '<em><b>Name</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPE_ID__NAME = 0; /** * The number of structural features of the '<em>Type Id</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPE_ID_FEATURE_COUNT = 1; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.TypeDeclarationImpl <em>Type Declaration</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TypeDeclarationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTypeDeclaration() * @generated */ int TYPE_DECLARATION = 20; /** * The feature id for the '<em><b>Name</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPE_DECLARATION__NAME = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Exp</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPE_DECLARATION__EXP = STATEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Type Declaration</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TYPE_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.LimitImpl <em>Limit</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.LimitImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getLimit() * @generated */ int LIMIT = 21; /** * The feature id for the '<em><b>Cv</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int LIMIT__CV = 0; /** * The number of structural features of the '<em>Limit</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int LIMIT_FEATURE_COUNT = 1; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SetExpressionImpl <em>Set Expression</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetExpressionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetExpression() * @generated */ int SET_EXPRESSION = 24; /** * The number of structural features of the '<em>Set Expression</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_EXPRESSION_FEATURE_COUNT = 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SetImpl <em>Set</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSet() * @generated */ int SET = 22; /** * The feature id for the '<em><b>Lhs</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET__LHS = SET_EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Terms</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET__TERMS = SET_EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Set</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_FEATURE_COUNT = SET_EXPRESSION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.RangeImpl <em>Range</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.RangeImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getRange() * @generated */ int RANGE = 23; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int RANGE__LHS = SET_EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int RANGE__RHS = SET_EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Range</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int RANGE_FEATURE_COUNT = SET_EXPRESSION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SetConstructImpl <em>Set Construct</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetConstructImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetConstruct() * @generated */ int SET_CONSTRUCT = 25; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_CONSTRUCT__LHS = SET_EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_CONSTRUCT__RHS = SET_EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Set Construct</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_CONSTRUCT_FEATURE_COUNT = SET_EXPRESSION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.TVarsImpl <em>TVars</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TVarsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTVars() * @generated */ int TVARS = 26; /** * The feature id for the '<em><b>Car</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TVARS__CAR = 0; /** * The feature id for the '<em><b>Cdr</b></em>' containment reference list. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TVARS__CDR = 1; /** * The number of structural features of the '<em>TVars</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TVARS_FEATURE_COUNT = 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.TVarImpl <em>TVar</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TVarImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTVar() * @generated */ int TVAR = 27; /** * The feature id for the '<em><b>Var</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TVAR__VAR = 0; /** * The feature id for the '<em><b>Id</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TVAR__ID = 1; /** * The number of structural features of the '<em>TVar</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int TVAR_FEATURE_COUNT = 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SentenceImpl <em>Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSentence() * @generated */ int SENTENCE = 33; /** * The number of structural features of the '<em>Sentence</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SENTENCE_FEATURE_COUNT = 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SentenceExprImpl <em>Sentence Expr</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SentenceExprImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSentenceExpr() * @generated */ int SENTENCE_EXPR = 34; /** * The number of structural features of the '<em>Sentence Expr</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SENTENCE_EXPR_FEATURE_COUNT = SENTENCE_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SentenceLiteralImpl <em>Sentence Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SentenceLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSentenceLiteral() * @generated */ int SENTENCE_LITERAL = 35; /** * The number of structural features of the '<em>Sentence Literal</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SENTENCE_LITERAL_FEATURE_COUNT = SENTENCE_EXPR_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.AtomImpl <em>Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.AtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getAtom() * @generated */ int ATOM = 28; /** * The number of structural features of the '<em>Atom</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ATOM_FEATURE_COUNT = SENTENCE_LITERAL_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.PredicateAtomImpl <em>Predicate Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.PredicateAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getPredicateAtom() * @generated */ int PREDICATE_ATOM = 29; /** * The feature id for the '<em><b>Fid</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PREDICATE_ATOM__FID = ATOM_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Terms</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PREDICATE_ATOM__TERMS = ATOM_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Predicate Atom</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PREDICATE_ATOM_FEATURE_COUNT = ATOM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.BasicAtomImpl <em>Basic Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicAtom() * @generated */ int BASIC_ATOM = 32; /** * The number of structural features of the '<em>Basic Atom</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_ATOM_FEATURE_COUNT = SENTENCE_LITERAL_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.BasicPredicateAtomImpl <em>Basic Predicate Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicPredicateAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicPredicateAtom() * @generated */ int BASIC_PREDICATE_ATOM = 30; /** * The feature id for the '<em><b>Fid</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_PREDICATE_ATOM__FID = BASIC_ATOM_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Terms</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_PREDICATE_ATOM__TERMS = BASIC_ATOM_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Basic Predicate Atom</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BASIC_PREDICATE_ATOM_FEATURE_COUNT = BASIC_ATOM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.BuiltInAtomImpl <em>Built In Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BuiltInAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBuiltInAtom() * @generated */ int BUILT_IN_ATOM = 31; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BUILT_IN_ATOM__LHS = ATOM_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Op</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BUILT_IN_ATOM__OP = ATOM_FEATURE_COUNT + 1; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BUILT_IN_ATOM__RHS = ATOM_FEATURE_COUNT + 2; /** * The number of structural features of the '<em>Built In Atom</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BUILT_IN_ATOM_FEATURE_COUNT = ATOM_FEATURE_COUNT + 3; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.HeadImpl <em>Head</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.HeadImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getHead() * @generated */ int HEAD = 42; /** * The number of structural features of the '<em>Head</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int HEAD_FEATURE_COUNT = 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.pSentenceImpl <em>pSentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpSentence() * @generated */ int PSENTENCE = 36; /** * The number of structural features of the '<em>pSentence</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PSENTENCE_FEATURE_COUNT = HEAD_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.pSentenceLiteralImpl <em>pSentence Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pSentenceLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpSentenceLiteral() * @generated */ int PSENTENCE_LITERAL = 37; /** * The number of structural features of the '<em>pSentence Literal</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PSENTENCE_LITERAL_FEATURE_COUNT = SENTENCE_EXPR_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.MaybeLiteralImpl <em>Maybe Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.MaybeLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getMaybeLiteral() * @generated */ int MAYBE_LITERAL = 38; /** * The number of structural features of the '<em>Maybe Literal</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int MAYBE_LITERAL_FEATURE_COUNT = HEAD_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.CardinalityConstraintImpl <em>Cardinality Constraint</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.CardinalityConstraintImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getCardinalityConstraint() * @generated */ int CARDINALITY_CONSTRAINT = 39; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int CARDINALITY_CONSTRAINT__LHS = HEAD_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Atom</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int CARDINALITY_CONSTRAINT__ATOM = HEAD_FEATURE_COUNT + 1; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int CARDINALITY_CONSTRAINT__RHS = HEAD_FEATURE_COUNT + 2; /** * The number of structural features of the '<em>Cardinality Constraint</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int CARDINALITY_CONSTRAINT_FEATURE_COUNT = HEAD_FEATURE_COUNT + 3; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.BoundImpl <em>Bound</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BoundImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBound() * @generated */ int BOUND = 40; /** * The feature id for the '<em><b>Av</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BOUND__AV = 0; /** * The number of structural features of the '<em>Bound</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int BOUND_FEATURE_COUNT = 1; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.RuleImpl <em>Rule</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.RuleImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getRule() * @generated */ int RULE = 41; /** * The feature id for the '<em><b>Head</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int RULE__HEAD = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Condition</b></em>' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int RULE__CONDITION = STATEMENT_FEATURE_COUNT + 1; /** * The feature id for the '<em><b>Body</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int RULE__BODY = STATEMENT_FEATURE_COUNT + 2; /** * The number of structural features of the '<em>Rule</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int RULE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.AdditionImpl <em>Addition</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.AdditionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getAddition() * @generated */ int ADDITION = 44; /** * The feature id for the '<em><b>Term</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ADDITION__TERM = ARITHMETIC_TERM__TERM; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ADDITION__LHS = ARITHMETIC_TERM__LHS; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ADDITION__RHS = ARITHMETIC_TERM__RHS; /** * The number of structural features of the '<em>Addition</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int ADDITION_FEATURE_COUNT = ARITHMETIC_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.MultiplicationImpl <em>Multiplication</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.MultiplicationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getMultiplication() * @generated */ int MULTIPLICATION = 45; /** * The feature id for the '<em><b>Term</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int MULTIPLICATION__TERM = ARITHMETIC_TERM__TERM; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int MULTIPLICATION__LHS = ARITHMETIC_TERM__LHS; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int MULTIPLICATION__RHS = ARITHMETIC_TERM__RHS; /** * The number of structural features of the '<em>Multiplication</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int MULTIPLICATION_FEATURE_COUNT = ARITHMETIC_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.GroundAdditionImpl <em>Ground Addition</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundAdditionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundAddition() * @generated */ int GROUND_ADDITION = 46; /** * The feature id for the '<em><b>Term</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ADDITION__TERM = ARITHMETIC_TERM__TERM; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ADDITION__LHS = ARITHMETIC_TERM__LHS; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ADDITION__RHS = ARITHMETIC_TERM__RHS; /** * The number of structural features of the '<em>Ground Addition</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_ADDITION_FEATURE_COUNT = ARITHMETIC_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.GroundMultiplicationImpl <em>Ground Multiplication</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundMultiplicationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundMultiplication() * @generated */ int GROUND_MULTIPLICATION = 47; /** * The feature id for the '<em><b>Term</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_MULTIPLICATION__TERM = ARITHMETIC_TERM__TERM; /** * The feature id for the '<em><b>Lhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_MULTIPLICATION__LHS = ARITHMETIC_TERM__LHS; /** * The feature id for the '<em><b>Rhs</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_MULTIPLICATION__RHS = ARITHMETIC_TERM__RHS; /** * The number of structural features of the '<em>Ground Multiplication</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int GROUND_MULTIPLICATION_FEATURE_COUNT = ARITHMETIC_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SetAdditionImpl <em>Set Addition</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetAdditionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetAddition() * @generated */ int SET_ADDITION = 48; /** * The feature id for the '<em><b>Left</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_ADDITION__LEFT = SET_EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Right</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_ADDITION__RIGHT = SET_EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Set Addition</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_ADDITION_FEATURE_COUNT = SET_EXPRESSION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.SetMultiplicationImpl <em>Set Multiplication</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetMultiplicationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetMultiplication() * @generated */ int SET_MULTIPLICATION = 49; /** * The feature id for the '<em><b>Left</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_MULTIPLICATION__LEFT = SET_EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Right</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_MULTIPLICATION__RIGHT = SET_EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Set Multiplication</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int SET_MULTIPLICATION_FEATURE_COUNT = SET_EXPRESSION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.OrSentenceImpl <em>Or Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.OrSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getOrSentence() * @generated */ int OR_SENTENCE = 50; /** * The feature id for the '<em><b>Left</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int OR_SENTENCE__LEFT = SENTENCE_EXPR_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Right</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int OR_SENTENCE__RIGHT = SENTENCE_EXPR_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>Or Sentence</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int OR_SENTENCE_FEATURE_COUNT = SENTENCE_EXPR_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.AndSentenceImpl <em>And Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.AndSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getAndSentence() * @generated */ int AND_SENTENCE = 51; /** * The feature id for the '<em><b>Left</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int AND_SENTENCE__LEFT = SENTENCE_EXPR_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Right</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int AND_SENTENCE__RIGHT = SENTENCE_EXPR_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>And Sentence</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int AND_SENTENCE_FEATURE_COUNT = SENTENCE_EXPR_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.pOrSentenceImpl <em>pOr Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pOrSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpOrSentence() * @generated */ int POR_SENTENCE = 52; /** * The feature id for the '<em><b>Left</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int POR_SENTENCE__LEFT = SENTENCE_EXPR_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Right</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int POR_SENTENCE__RIGHT = SENTENCE_EXPR_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>pOr Sentence</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int POR_SENTENCE_FEATURE_COUNT = SENTENCE_EXPR_FEATURE_COUNT + 2; /** * The meta object id for the '{@link net.certware.argument.language.l.impl.pAndSentenceImpl <em>pAnd Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pAndSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpAndSentence() * @generated */ int PAND_SENTENCE = 53; /** * The feature id for the '<em><b>Left</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PAND_SENTENCE__LEFT = SENTENCE_EXPR_FEATURE_COUNT + 0; /** * The feature id for the '<em><b>Right</b></em>' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PAND_SENTENCE__RIGHT = SENTENCE_EXPR_FEATURE_COUNT + 1; /** * The number of structural features of the '<em>pAnd Sentence</em>' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated * @ordered */ int PAND_SENTENCE_FEATURE_COUNT = SENTENCE_EXPR_FEATURE_COUNT + 2; /** * Returns the meta object for class '{@link net.certware.argument.language.l.Program <em>Program</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Program</em>'. * @see net.certware.argument.language.l.Program * @generated */ EClass getProgram(); /** * Returns the meta object for the containment reference list '{@link net.certware.argument.language.l.Program#getStatements <em>Statements</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference list '<em>Statements</em>'. * @see net.certware.argument.language.l.Program#getStatements() * @see #getProgram() * @generated */ EReference getProgram_Statements(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.BasicTerm <em>Basic Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Basic Term</em>'. * @see net.certware.argument.language.l.BasicTerm * @generated */ EClass getBasicTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Variable <em>Variable</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Variable</em>'. * @see net.certware.argument.language.l.Variable * @generated */ EClass getVariable(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.Variable#getIdentifier <em>Identifier</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Identifier</em>'. * @see net.certware.argument.language.l.Variable#getIdentifier() * @see #getVariable() * @generated */ EAttribute getVariable_Identifier(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.TypedVariable <em>Typed Variable</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Typed Variable</em>'. * @see net.certware.argument.language.l.TypedVariable * @generated */ EClass getTypedVariable(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.TypedVariable#getName <em>Name</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Name</em>'. * @see net.certware.argument.language.l.TypedVariable#getName() * @see #getTypedVariable() * @generated */ EAttribute getTypedVariable_Name(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.TypedVariable#getVar <em>Var</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Var</em>'. * @see net.certware.argument.language.l.TypedVariable#getVar() * @see #getTypedVariable() * @generated */ EReference getTypedVariable_Var(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.ArithmeticTerm <em>Arithmetic Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Arithmetic Term</em>'. * @see net.certware.argument.language.l.ArithmeticTerm * @generated */ EClass getArithmeticTerm(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.ArithmeticTerm#getTerm <em>Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Term</em>'. * @see net.certware.argument.language.l.ArithmeticTerm#getTerm() * @see #getArithmeticTerm() * @generated */ EReference getArithmeticTerm_Term(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.ArithmeticTerm#getLhs <em>Lhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Lhs</em>'. * @see net.certware.argument.language.l.ArithmeticTerm#getLhs() * @see #getArithmeticTerm() * @generated */ EReference getArithmeticTerm_Lhs(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.ArithmeticTerm#getRhs <em>Rhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Rhs</em>'. * @see net.certware.argument.language.l.ArithmeticTerm#getRhs() * @see #getArithmeticTerm() * @generated */ EReference getArithmeticTerm_Rhs(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.ArithmeticLiteral <em>Arithmetic Literal</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Arithmetic Literal</em>'. * @see net.certware.argument.language.l.ArithmeticLiteral * @generated */ EClass getArithmeticLiteral(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.ArithmeticLiteral#getV <em>V</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>V</em>'. * @see net.certware.argument.language.l.ArithmeticLiteral#getV() * @see #getArithmeticLiteral() * @generated */ EReference getArithmeticLiteral_V(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.ArithmeticLiteral#getTv <em>Tv</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Tv</em>'. * @see net.certware.argument.language.l.ArithmeticLiteral#getTv() * @see #getArithmeticLiteral() * @generated */ EReference getArithmeticLiteral_Tv(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.ArithmeticLiteral#getConst <em>Const</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Const</em>'. * @see net.certware.argument.language.l.ArithmeticLiteral#getConst() * @see #getArithmeticLiteral() * @generated */ EAttribute getArithmeticLiteral_Const(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.ArithmeticLiteral#getValue <em>Value</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Value</em>'. * @see net.certware.argument.language.l.ArithmeticLiteral#getValue() * @see #getArithmeticLiteral() * @generated */ EAttribute getArithmeticLiteral_Value(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.GroundArithmeticTerm <em>Ground Arithmetic Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Ground Arithmetic Term</em>'. * @see net.certware.argument.language.l.GroundArithmeticTerm * @generated */ EClass getGroundArithmeticTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.GroundArithmeticLiteral <em>Ground Arithmetic Literal</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Ground Arithmetic Literal</em>'. * @see net.certware.argument.language.l.GroundArithmeticLiteral * @generated */ EClass getGroundArithmeticLiteral(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.GroundArithmeticLiteral#getIdentifier <em>Identifier</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Identifier</em>'. * @see net.certware.argument.language.l.GroundArithmeticLiteral#getIdentifier() * @see #getGroundArithmeticLiteral() * @generated */ EAttribute getGroundArithmeticLiteral_Identifier(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.GroundArithmeticLiteral#getValue <em>Value</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Value</em>'. * @see net.certware.argument.language.l.GroundArithmeticLiteral#getValue() * @see #getGroundArithmeticLiteral() * @generated */ EAttribute getGroundArithmeticLiteral_Value(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.FunctionalTerm <em>Functional Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Functional Term</em>'. * @see net.certware.argument.language.l.FunctionalTerm * @generated */ EClass getFunctionalTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.GroundFunctionalTerm <em>Ground Functional Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Ground Functional Term</em>'. * @see net.certware.argument.language.l.GroundFunctionalTerm * @generated */ EClass getGroundFunctionalTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.BasicTerms <em>Basic Terms</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Basic Terms</em>'. * @see net.certware.argument.language.l.BasicTerms * @generated */ EClass getBasicTerms(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.BasicTerms#getCar <em>Car</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Car</em>'. * @see net.certware.argument.language.l.BasicTerms#getCar() * @see #getBasicTerms() * @generated */ EReference getBasicTerms_Car(); /** * Returns the meta object for the containment reference list '{@link net.certware.argument.language.l.BasicTerms#getCdr <em>Cdr</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference list '<em>Cdr</em>'. * @see net.certware.argument.language.l.BasicTerms#getCdr() * @see #getBasicTerms() * @generated */ EReference getBasicTerms_Cdr(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.GroundTerms <em>Ground Terms</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Ground Terms</em>'. * @see net.certware.argument.language.l.GroundTerms * @generated */ EClass getGroundTerms(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.GroundTerms#getCar <em>Car</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Car</em>'. * @see net.certware.argument.language.l.GroundTerms#getCar() * @see #getGroundTerms() * @generated */ EReference getGroundTerms_Car(); /** * Returns the meta object for the containment reference list '{@link net.certware.argument.language.l.GroundTerms#getCdr <em>Cdr</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference list '<em>Cdr</em>'. * @see net.certware.argument.language.l.GroundTerms#getCdr() * @see #getGroundTerms() * @generated */ EReference getGroundTerms_Cdr(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.GroundTerm <em>Ground Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Ground Term</em>'. * @see net.certware.argument.language.l.GroundTerm * @generated */ EClass getGroundTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.QuantifiedTerm <em>Quantified Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Quantified Term</em>'. * @see net.certware.argument.language.l.QuantifiedTerm * @generated */ EClass getQuantifiedTerm(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.QuantifiedTerm#getName <em>Name</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Name</em>'. * @see net.certware.argument.language.l.QuantifiedTerm#getName() * @see #getQuantifiedTerm() * @generated */ EReference getQuantifiedTerm_Name(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.UniversalQuantifiedTerm <em>Universal Quantified Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Universal Quantified Term</em>'. * @see net.certware.argument.language.l.UniversalQuantifiedTerm * @generated */ EClass getUniversalQuantifiedTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.ExistentialQuantifiedTerm <em>Existential Quantified Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Existential Quantified Term</em>'. * @see net.certware.argument.language.l.ExistentialQuantifiedTerm * @generated */ EClass getExistentialQuantifiedTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Term <em>Term</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Term</em>'. * @see net.certware.argument.language.l.Term * @generated */ EClass getTerm(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Terms <em>Terms</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Terms</em>'. * @see net.certware.argument.language.l.Terms * @generated */ EClass getTerms(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Terms#getCar <em>Car</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Car</em>'. * @see net.certware.argument.language.l.Terms#getCar() * @see #getTerms() * @generated */ EReference getTerms_Car(); /** * Returns the meta object for the containment reference list '{@link net.certware.argument.language.l.Terms#getCdr <em>Cdr</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference list '<em>Cdr</em>'. * @see net.certware.argument.language.l.Terms#getCdr() * @see #getTerms() * @generated */ EReference getTerms_Cdr(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.ConstantDeclaration <em>Constant Declaration</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Constant Declaration</em>'. * @see net.certware.argument.language.l.ConstantDeclaration * @generated */ EClass getConstantDeclaration(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.ConstantDeclaration#getName <em>Name</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Name</em>'. * @see net.certware.argument.language.l.ConstantDeclaration#getName() * @see #getConstantDeclaration() * @generated */ EAttribute getConstantDeclaration_Name(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.ConstantDeclaration#getCv <em>Cv</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Cv</em>'. * @see net.certware.argument.language.l.ConstantDeclaration#getCv() * @see #getConstantDeclaration() * @generated */ EReference getConstantDeclaration_Cv(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.TypeId <em>Type Id</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Type Id</em>'. * @see net.certware.argument.language.l.TypeId * @generated */ EClass getTypeId(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.TypeId#getName <em>Name</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Name</em>'. * @see net.certware.argument.language.l.TypeId#getName() * @see #getTypeId() * @generated */ EAttribute getTypeId_Name(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.TypeDeclaration <em>Type Declaration</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Type Declaration</em>'. * @see net.certware.argument.language.l.TypeDeclaration * @generated */ EClass getTypeDeclaration(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.TypeDeclaration#getName <em>Name</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Name</em>'. * @see net.certware.argument.language.l.TypeDeclaration#getName() * @see #getTypeDeclaration() * @generated */ EReference getTypeDeclaration_Name(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.TypeDeclaration#getExp <em>Exp</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Exp</em>'. * @see net.certware.argument.language.l.TypeDeclaration#getExp() * @see #getTypeDeclaration() * @generated */ EReference getTypeDeclaration_Exp(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Limit <em>Limit</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Limit</em>'. * @see net.certware.argument.language.l.Limit * @generated */ EClass getLimit(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Limit#getCv <em>Cv</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Cv</em>'. * @see net.certware.argument.language.l.Limit#getCv() * @see #getLimit() * @generated */ EReference getLimit_Cv(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Set <em>Set</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Set</em>'. * @see net.certware.argument.language.l.Set * @generated */ EClass getSet(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.Set#getLhs <em>Lhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Lhs</em>'. * @see net.certware.argument.language.l.Set#getLhs() * @see #getSet() * @generated */ EAttribute getSet_Lhs(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Set#getTerms <em>Terms</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Terms</em>'. * @see net.certware.argument.language.l.Set#getTerms() * @see #getSet() * @generated */ EReference getSet_Terms(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Range <em>Range</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Range</em>'. * @see net.certware.argument.language.l.Range * @generated */ EClass getRange(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Range#getLhs <em>Lhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Lhs</em>'. * @see net.certware.argument.language.l.Range#getLhs() * @see #getRange() * @generated */ EReference getRange_Lhs(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Range#getRhs <em>Rhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Rhs</em>'. * @see net.certware.argument.language.l.Range#getRhs() * @see #getRange() * @generated */ EReference getRange_Rhs(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.SetExpression <em>Set Expression</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Set Expression</em>'. * @see net.certware.argument.language.l.SetExpression * @generated */ EClass getSetExpression(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.SetConstruct <em>Set Construct</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Set Construct</em>'. * @see net.certware.argument.language.l.SetConstruct * @generated */ EClass getSetConstruct(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.SetConstruct#getLhs <em>Lhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Lhs</em>'. * @see net.certware.argument.language.l.SetConstruct#getLhs() * @see #getSetConstruct() * @generated */ EReference getSetConstruct_Lhs(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.SetConstruct#getRhs <em>Rhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Rhs</em>'. * @see net.certware.argument.language.l.SetConstruct#getRhs() * @see #getSetConstruct() * @generated */ EReference getSetConstruct_Rhs(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.TVars <em>TVars</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>TVars</em>'. * @see net.certware.argument.language.l.TVars * @generated */ EClass getTVars(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.TVars#getCar <em>Car</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Car</em>'. * @see net.certware.argument.language.l.TVars#getCar() * @see #getTVars() * @generated */ EReference getTVars_Car(); /** * Returns the meta object for the containment reference list '{@link net.certware.argument.language.l.TVars#getCdr <em>Cdr</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference list '<em>Cdr</em>'. * @see net.certware.argument.language.l.TVars#getCdr() * @see #getTVars() * @generated */ EReference getTVars_Cdr(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.TVar <em>TVar</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>TVar</em>'. * @see net.certware.argument.language.l.TVar * @generated */ EClass getTVar(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.TVar#getVar <em>Var</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Var</em>'. * @see net.certware.argument.language.l.TVar#getVar() * @see #getTVar() * @generated */ EReference getTVar_Var(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.TVar#getId <em>Id</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Id</em>'. * @see net.certware.argument.language.l.TVar#getId() * @see #getTVar() * @generated */ EReference getTVar_Id(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Atom <em>Atom</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Atom</em>'. * @see net.certware.argument.language.l.Atom * @generated */ EClass getAtom(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.PredicateAtom <em>Predicate Atom</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Predicate Atom</em>'. * @see net.certware.argument.language.l.PredicateAtom * @generated */ EClass getPredicateAtom(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.PredicateAtom#getFid <em>Fid</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Fid</em>'. * @see net.certware.argument.language.l.PredicateAtom#getFid() * @see #getPredicateAtom() * @generated */ EAttribute getPredicateAtom_Fid(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.PredicateAtom#getTerms <em>Terms</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Terms</em>'. * @see net.certware.argument.language.l.PredicateAtom#getTerms() * @see #getPredicateAtom() * @generated */ EReference getPredicateAtom_Terms(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.BasicPredicateAtom <em>Basic Predicate Atom</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Basic Predicate Atom</em>'. * @see net.certware.argument.language.l.BasicPredicateAtom * @generated */ EClass getBasicPredicateAtom(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.BasicPredicateAtom#getFid <em>Fid</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Fid</em>'. * @see net.certware.argument.language.l.BasicPredicateAtom#getFid() * @see #getBasicPredicateAtom() * @generated */ EAttribute getBasicPredicateAtom_Fid(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.BasicPredicateAtom#getTerms <em>Terms</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Terms</em>'. * @see net.certware.argument.language.l.BasicPredicateAtom#getTerms() * @see #getBasicPredicateAtom() * @generated */ EReference getBasicPredicateAtom_Terms(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.BuiltInAtom <em>Built In Atom</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Built In Atom</em>'. * @see net.certware.argument.language.l.BuiltInAtom * @generated */ EClass getBuiltInAtom(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.BuiltInAtom#getLhs <em>Lhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Lhs</em>'. * @see net.certware.argument.language.l.BuiltInAtom#getLhs() * @see #getBuiltInAtom() * @generated */ EReference getBuiltInAtom_Lhs(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.BuiltInAtom#getOp <em>Op</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Op</em>'. * @see net.certware.argument.language.l.BuiltInAtom#getOp() * @see #getBuiltInAtom() * @generated */ EAttribute getBuiltInAtom_Op(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.BuiltInAtom#getRhs <em>Rhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Rhs</em>'. * @see net.certware.argument.language.l.BuiltInAtom#getRhs() * @see #getBuiltInAtom() * @generated */ EReference getBuiltInAtom_Rhs(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.BasicAtom <em>Basic Atom</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Basic Atom</em>'. * @see net.certware.argument.language.l.BasicAtom * @generated */ EClass getBasicAtom(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Sentence <em>Sentence</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Sentence</em>'. * @see net.certware.argument.language.l.Sentence * @generated */ EClass getSentence(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.SentenceExpr <em>Sentence Expr</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Sentence Expr</em>'. * @see net.certware.argument.language.l.SentenceExpr * @generated */ EClass getSentenceExpr(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.SentenceLiteral <em>Sentence Literal</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Sentence Literal</em>'. * @see net.certware.argument.language.l.SentenceLiteral * @generated */ EClass getSentenceLiteral(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.pSentence <em>pSentence</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>pSentence</em>'. * @see net.certware.argument.language.l.pSentence * @generated */ EClass getpSentence(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.pSentenceLiteral <em>pSentence Literal</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>pSentence Literal</em>'. * @see net.certware.argument.language.l.pSentenceLiteral * @generated */ EClass getpSentenceLiteral(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.MaybeLiteral <em>Maybe Literal</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Maybe Literal</em>'. * @see net.certware.argument.language.l.MaybeLiteral * @generated */ EClass getMaybeLiteral(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.CardinalityConstraint <em>Cardinality Constraint</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Cardinality Constraint</em>'. * @see net.certware.argument.language.l.CardinalityConstraint * @generated */ EClass getCardinalityConstraint(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.CardinalityConstraint#getLhs <em>Lhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Lhs</em>'. * @see net.certware.argument.language.l.CardinalityConstraint#getLhs() * @see #getCardinalityConstraint() * @generated */ EReference getCardinalityConstraint_Lhs(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.CardinalityConstraint#getAtom <em>Atom</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Atom</em>'. * @see net.certware.argument.language.l.CardinalityConstraint#getAtom() * @see #getCardinalityConstraint() * @generated */ EReference getCardinalityConstraint_Atom(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.CardinalityConstraint#getRhs <em>Rhs</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Rhs</em>'. * @see net.certware.argument.language.l.CardinalityConstraint#getRhs() * @see #getCardinalityConstraint() * @generated */ EReference getCardinalityConstraint_Rhs(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Bound <em>Bound</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Bound</em>'. * @see net.certware.argument.language.l.Bound * @generated */ EClass getBound(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Bound#getAv <em>Av</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Av</em>'. * @see net.certware.argument.language.l.Bound#getAv() * @see #getBound() * @generated */ EReference getBound_Av(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Rule <em>Rule</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Rule</em>'. * @see net.certware.argument.language.l.Rule * @generated */ EClass getRule(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Rule#getHead <em>Head</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Head</em>'. * @see net.certware.argument.language.l.Rule#getHead() * @see #getRule() * @generated */ EReference getRule_Head(); /** * Returns the meta object for the attribute '{@link net.certware.argument.language.l.Rule#getCondition <em>Condition</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the attribute '<em>Condition</em>'. * @see net.certware.argument.language.l.Rule#getCondition() * @see #getRule() * @generated */ EAttribute getRule_Condition(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.Rule#getBody <em>Body</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Body</em>'. * @see net.certware.argument.language.l.Rule#getBody() * @see #getRule() * @generated */ EReference getRule_Body(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Head <em>Head</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Head</em>'. * @see net.certware.argument.language.l.Head * @generated */ EClass getHead(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Statement <em>Statement</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Statement</em>'. * @see net.certware.argument.language.l.Statement * @generated */ EClass getStatement(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Addition <em>Addition</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Addition</em>'. * @see net.certware.argument.language.l.Addition * @generated */ EClass getAddition(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.Multiplication <em>Multiplication</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Multiplication</em>'. * @see net.certware.argument.language.l.Multiplication * @generated */ EClass getMultiplication(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.GroundAddition <em>Ground Addition</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Ground Addition</em>'. * @see net.certware.argument.language.l.GroundAddition * @generated */ EClass getGroundAddition(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.GroundMultiplication <em>Ground Multiplication</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Ground Multiplication</em>'. * @see net.certware.argument.language.l.GroundMultiplication * @generated */ EClass getGroundMultiplication(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.SetAddition <em>Set Addition</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Set Addition</em>'. * @see net.certware.argument.language.l.SetAddition * @generated */ EClass getSetAddition(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.SetAddition#getLeft <em>Left</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Left</em>'. * @see net.certware.argument.language.l.SetAddition#getLeft() * @see #getSetAddition() * @generated */ EReference getSetAddition_Left(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.SetAddition#getRight <em>Right</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Right</em>'. * @see net.certware.argument.language.l.SetAddition#getRight() * @see #getSetAddition() * @generated */ EReference getSetAddition_Right(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.SetMultiplication <em>Set Multiplication</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Set Multiplication</em>'. * @see net.certware.argument.language.l.SetMultiplication * @generated */ EClass getSetMultiplication(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.SetMultiplication#getLeft <em>Left</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Left</em>'. * @see net.certware.argument.language.l.SetMultiplication#getLeft() * @see #getSetMultiplication() * @generated */ EReference getSetMultiplication_Left(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.SetMultiplication#getRight <em>Right</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Right</em>'. * @see net.certware.argument.language.l.SetMultiplication#getRight() * @see #getSetMultiplication() * @generated */ EReference getSetMultiplication_Right(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.OrSentence <em>Or Sentence</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>Or Sentence</em>'. * @see net.certware.argument.language.l.OrSentence * @generated */ EClass getOrSentence(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.OrSentence#getLeft <em>Left</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Left</em>'. * @see net.certware.argument.language.l.OrSentence#getLeft() * @see #getOrSentence() * @generated */ EReference getOrSentence_Left(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.OrSentence#getRight <em>Right</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Right</em>'. * @see net.certware.argument.language.l.OrSentence#getRight() * @see #getOrSentence() * @generated */ EReference getOrSentence_Right(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.AndSentence <em>And Sentence</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>And Sentence</em>'. * @see net.certware.argument.language.l.AndSentence * @generated */ EClass getAndSentence(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.AndSentence#getLeft <em>Left</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Left</em>'. * @see net.certware.argument.language.l.AndSentence#getLeft() * @see #getAndSentence() * @generated */ EReference getAndSentence_Left(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.AndSentence#getRight <em>Right</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Right</em>'. * @see net.certware.argument.language.l.AndSentence#getRight() * @see #getAndSentence() * @generated */ EReference getAndSentence_Right(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.pOrSentence <em>pOr Sentence</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>pOr Sentence</em>'. * @see net.certware.argument.language.l.pOrSentence * @generated */ EClass getpOrSentence(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.pOrSentence#getLeft <em>Left</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Left</em>'. * @see net.certware.argument.language.l.pOrSentence#getLeft() * @see #getpOrSentence() * @generated */ EReference getpOrSentence_Left(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.pOrSentence#getRight <em>Right</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Right</em>'. * @see net.certware.argument.language.l.pOrSentence#getRight() * @see #getpOrSentence() * @generated */ EReference getpOrSentence_Right(); /** * Returns the meta object for class '{@link net.certware.argument.language.l.pAndSentence <em>pAnd Sentence</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for class '<em>pAnd Sentence</em>'. * @see net.certware.argument.language.l.pAndSentence * @generated */ EClass getpAndSentence(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.pAndSentence#getLeft <em>Left</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Left</em>'. * @see net.certware.argument.language.l.pAndSentence#getLeft() * @see #getpAndSentence() * @generated */ EReference getpAndSentence_Left(); /** * Returns the meta object for the containment reference '{@link net.certware.argument.language.l.pAndSentence#getRight <em>Right</em>}'. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the meta object for the containment reference '<em>Right</em>'. * @see net.certware.argument.language.l.pAndSentence#getRight() * @see #getpAndSentence() * @generated */ EReference getpAndSentence_Right(); /** * Returns the factory that creates the instances of the model. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @return the factory that creates the instances of the model. * @generated */ LFactory getLFactory(); /** * <!-- begin-user-doc --> * Defines literals for the meta objects that represent * <ul> * <li>each class,</li> * <li>each feature of each class,</li> * <li>each enum,</li> * <li>and each data type</li> * </ul> * <!-- end-user-doc --> * @generated */ interface Literals { /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.ProgramImpl <em>Program</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ProgramImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getProgram() * @generated */ EClass PROGRAM = eINSTANCE.getProgram(); /** * The meta object literal for the '<em><b>Statements</b></em>' containment reference list feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference PROGRAM__STATEMENTS = eINSTANCE.getProgram_Statements(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.BasicTermImpl <em>Basic Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicTerm() * @generated */ EClass BASIC_TERM = eINSTANCE.getBasicTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.VariableImpl <em>Variable</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.VariableImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getVariable() * @generated */ EClass VARIABLE = eINSTANCE.getVariable(); /** * The meta object literal for the '<em><b>Identifier</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute VARIABLE__IDENTIFIER = eINSTANCE.getVariable_Identifier(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.TypedVariableImpl <em>Typed Variable</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TypedVariableImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTypedVariable() * @generated */ EClass TYPED_VARIABLE = eINSTANCE.getTypedVariable(); /** * The meta object literal for the '<em><b>Name</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute TYPED_VARIABLE__NAME = eINSTANCE.getTypedVariable_Name(); /** * The meta object literal for the '<em><b>Var</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TYPED_VARIABLE__VAR = eINSTANCE.getTypedVariable_Var(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.ArithmeticTermImpl <em>Arithmetic Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ArithmeticTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getArithmeticTerm() * @generated */ EClass ARITHMETIC_TERM = eINSTANCE.getArithmeticTerm(); /** * The meta object literal for the '<em><b>Term</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference ARITHMETIC_TERM__TERM = eINSTANCE.getArithmeticTerm_Term(); /** * The meta object literal for the '<em><b>Lhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference ARITHMETIC_TERM__LHS = eINSTANCE.getArithmeticTerm_Lhs(); /** * The meta object literal for the '<em><b>Rhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference ARITHMETIC_TERM__RHS = eINSTANCE.getArithmeticTerm_Rhs(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.ArithmeticLiteralImpl <em>Arithmetic Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ArithmeticLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getArithmeticLiteral() * @generated */ EClass ARITHMETIC_LITERAL = eINSTANCE.getArithmeticLiteral(); /** * The meta object literal for the '<em><b>V</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference ARITHMETIC_LITERAL__V = eINSTANCE.getArithmeticLiteral_V(); /** * The meta object literal for the '<em><b>Tv</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference ARITHMETIC_LITERAL__TV = eINSTANCE.getArithmeticLiteral_Tv(); /** * The meta object literal for the '<em><b>Const</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute ARITHMETIC_LITERAL__CONST = eINSTANCE.getArithmeticLiteral_Const(); /** * The meta object literal for the '<em><b>Value</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute ARITHMETIC_LITERAL__VALUE = eINSTANCE.getArithmeticLiteral_Value(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.GroundArithmeticTermImpl <em>Ground Arithmetic Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundArithmeticTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundArithmeticTerm() * @generated */ EClass GROUND_ARITHMETIC_TERM = eINSTANCE.getGroundArithmeticTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.GroundArithmeticLiteralImpl <em>Ground Arithmetic Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundArithmeticLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundArithmeticLiteral() * @generated */ EClass GROUND_ARITHMETIC_LITERAL = eINSTANCE.getGroundArithmeticLiteral(); /** * The meta object literal for the '<em><b>Identifier</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute GROUND_ARITHMETIC_LITERAL__IDENTIFIER = eINSTANCE.getGroundArithmeticLiteral_Identifier(); /** * The meta object literal for the '<em><b>Value</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute GROUND_ARITHMETIC_LITERAL__VALUE = eINSTANCE.getGroundArithmeticLiteral_Value(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.FunctionalTermImpl <em>Functional Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.FunctionalTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getFunctionalTerm() * @generated */ EClass FUNCTIONAL_TERM = eINSTANCE.getFunctionalTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.GroundFunctionalTermImpl <em>Ground Functional Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundFunctionalTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundFunctionalTerm() * @generated */ EClass GROUND_FUNCTIONAL_TERM = eINSTANCE.getGroundFunctionalTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.BasicTermsImpl <em>Basic Terms</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicTermsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicTerms() * @generated */ EClass BASIC_TERMS = eINSTANCE.getBasicTerms(); /** * The meta object literal for the '<em><b>Car</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference BASIC_TERMS__CAR = eINSTANCE.getBasicTerms_Car(); /** * The meta object literal for the '<em><b>Cdr</b></em>' containment reference list feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference BASIC_TERMS__CDR = eINSTANCE.getBasicTerms_Cdr(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.GroundTermsImpl <em>Ground Terms</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundTermsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundTerms() * @generated */ EClass GROUND_TERMS = eINSTANCE.getGroundTerms(); /** * The meta object literal for the '<em><b>Car</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference GROUND_TERMS__CAR = eINSTANCE.getGroundTerms_Car(); /** * The meta object literal for the '<em><b>Cdr</b></em>' containment reference list feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference GROUND_TERMS__CDR = eINSTANCE.getGroundTerms_Cdr(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.GroundTermImpl <em>Ground Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundTerm() * @generated */ EClass GROUND_TERM = eINSTANCE.getGroundTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.QuantifiedTermImpl <em>Quantified Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.QuantifiedTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getQuantifiedTerm() * @generated */ EClass QUANTIFIED_TERM = eINSTANCE.getQuantifiedTerm(); /** * The meta object literal for the '<em><b>Name</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference QUANTIFIED_TERM__NAME = eINSTANCE.getQuantifiedTerm_Name(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.UniversalQuantifiedTermImpl <em>Universal Quantified Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.UniversalQuantifiedTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getUniversalQuantifiedTerm() * @generated */ EClass UNIVERSAL_QUANTIFIED_TERM = eINSTANCE.getUniversalQuantifiedTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.ExistentialQuantifiedTermImpl <em>Existential Quantified Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ExistentialQuantifiedTermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getExistentialQuantifiedTerm() * @generated */ EClass EXISTENTIAL_QUANTIFIED_TERM = eINSTANCE.getExistentialQuantifiedTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.TermImpl <em>Term</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TermImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTerm() * @generated */ EClass TERM = eINSTANCE.getTerm(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.TermsImpl <em>Terms</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TermsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTerms() * @generated */ EClass TERMS = eINSTANCE.getTerms(); /** * The meta object literal for the '<em><b>Car</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TERMS__CAR = eINSTANCE.getTerms_Car(); /** * The meta object literal for the '<em><b>Cdr</b></em>' containment reference list feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TERMS__CDR = eINSTANCE.getTerms_Cdr(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.ConstantDeclarationImpl <em>Constant Declaration</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.ConstantDeclarationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getConstantDeclaration() * @generated */ EClass CONSTANT_DECLARATION = eINSTANCE.getConstantDeclaration(); /** * The meta object literal for the '<em><b>Name</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute CONSTANT_DECLARATION__NAME = eINSTANCE.getConstantDeclaration_Name(); /** * The meta object literal for the '<em><b>Cv</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference CONSTANT_DECLARATION__CV = eINSTANCE.getConstantDeclaration_Cv(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.TypeIdImpl <em>Type Id</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TypeIdImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTypeId() * @generated */ EClass TYPE_ID = eINSTANCE.getTypeId(); /** * The meta object literal for the '<em><b>Name</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute TYPE_ID__NAME = eINSTANCE.getTypeId_Name(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.TypeDeclarationImpl <em>Type Declaration</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TypeDeclarationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTypeDeclaration() * @generated */ EClass TYPE_DECLARATION = eINSTANCE.getTypeDeclaration(); /** * The meta object literal for the '<em><b>Name</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TYPE_DECLARATION__NAME = eINSTANCE.getTypeDeclaration_Name(); /** * The meta object literal for the '<em><b>Exp</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TYPE_DECLARATION__EXP = eINSTANCE.getTypeDeclaration_Exp(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.LimitImpl <em>Limit</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.LimitImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getLimit() * @generated */ EClass LIMIT = eINSTANCE.getLimit(); /** * The meta object literal for the '<em><b>Cv</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference LIMIT__CV = eINSTANCE.getLimit_Cv(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SetImpl <em>Set</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSet() * @generated */ EClass SET = eINSTANCE.getSet(); /** * The meta object literal for the '<em><b>Lhs</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute SET__LHS = eINSTANCE.getSet_Lhs(); /** * The meta object literal for the '<em><b>Terms</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference SET__TERMS = eINSTANCE.getSet_Terms(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.RangeImpl <em>Range</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.RangeImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getRange() * @generated */ EClass RANGE = eINSTANCE.getRange(); /** * The meta object literal for the '<em><b>Lhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference RANGE__LHS = eINSTANCE.getRange_Lhs(); /** * The meta object literal for the '<em><b>Rhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference RANGE__RHS = eINSTANCE.getRange_Rhs(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SetExpressionImpl <em>Set Expression</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetExpressionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetExpression() * @generated */ EClass SET_EXPRESSION = eINSTANCE.getSetExpression(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SetConstructImpl <em>Set Construct</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetConstructImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetConstruct() * @generated */ EClass SET_CONSTRUCT = eINSTANCE.getSetConstruct(); /** * The meta object literal for the '<em><b>Lhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference SET_CONSTRUCT__LHS = eINSTANCE.getSetConstruct_Lhs(); /** * The meta object literal for the '<em><b>Rhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference SET_CONSTRUCT__RHS = eINSTANCE.getSetConstruct_Rhs(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.TVarsImpl <em>TVars</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TVarsImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTVars() * @generated */ EClass TVARS = eINSTANCE.getTVars(); /** * The meta object literal for the '<em><b>Car</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TVARS__CAR = eINSTANCE.getTVars_Car(); /** * The meta object literal for the '<em><b>Cdr</b></em>' containment reference list feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TVARS__CDR = eINSTANCE.getTVars_Cdr(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.TVarImpl <em>TVar</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.TVarImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getTVar() * @generated */ EClass TVAR = eINSTANCE.getTVar(); /** * The meta object literal for the '<em><b>Var</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TVAR__VAR = eINSTANCE.getTVar_Var(); /** * The meta object literal for the '<em><b>Id</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference TVAR__ID = eINSTANCE.getTVar_Id(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.AtomImpl <em>Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.AtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getAtom() * @generated */ EClass ATOM = eINSTANCE.getAtom(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.PredicateAtomImpl <em>Predicate Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.PredicateAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getPredicateAtom() * @generated */ EClass PREDICATE_ATOM = eINSTANCE.getPredicateAtom(); /** * The meta object literal for the '<em><b>Fid</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute PREDICATE_ATOM__FID = eINSTANCE.getPredicateAtom_Fid(); /** * The meta object literal for the '<em><b>Terms</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference PREDICATE_ATOM__TERMS = eINSTANCE.getPredicateAtom_Terms(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.BasicPredicateAtomImpl <em>Basic Predicate Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicPredicateAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicPredicateAtom() * @generated */ EClass BASIC_PREDICATE_ATOM = eINSTANCE.getBasicPredicateAtom(); /** * The meta object literal for the '<em><b>Fid</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute BASIC_PREDICATE_ATOM__FID = eINSTANCE.getBasicPredicateAtom_Fid(); /** * The meta object literal for the '<em><b>Terms</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference BASIC_PREDICATE_ATOM__TERMS = eINSTANCE.getBasicPredicateAtom_Terms(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.BuiltInAtomImpl <em>Built In Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BuiltInAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBuiltInAtom() * @generated */ EClass BUILT_IN_ATOM = eINSTANCE.getBuiltInAtom(); /** * The meta object literal for the '<em><b>Lhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference BUILT_IN_ATOM__LHS = eINSTANCE.getBuiltInAtom_Lhs(); /** * The meta object literal for the '<em><b>Op</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute BUILT_IN_ATOM__OP = eINSTANCE.getBuiltInAtom_Op(); /** * The meta object literal for the '<em><b>Rhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference BUILT_IN_ATOM__RHS = eINSTANCE.getBuiltInAtom_Rhs(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.BasicAtomImpl <em>Basic Atom</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BasicAtomImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBasicAtom() * @generated */ EClass BASIC_ATOM = eINSTANCE.getBasicAtom(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SentenceImpl <em>Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSentence() * @generated */ EClass SENTENCE = eINSTANCE.getSentence(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SentenceExprImpl <em>Sentence Expr</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SentenceExprImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSentenceExpr() * @generated */ EClass SENTENCE_EXPR = eINSTANCE.getSentenceExpr(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SentenceLiteralImpl <em>Sentence Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SentenceLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSentenceLiteral() * @generated */ EClass SENTENCE_LITERAL = eINSTANCE.getSentenceLiteral(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.pSentenceImpl <em>pSentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpSentence() * @generated */ EClass PSENTENCE = eINSTANCE.getpSentence(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.pSentenceLiteralImpl <em>pSentence Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pSentenceLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpSentenceLiteral() * @generated */ EClass PSENTENCE_LITERAL = eINSTANCE.getpSentenceLiteral(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.MaybeLiteralImpl <em>Maybe Literal</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.MaybeLiteralImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getMaybeLiteral() * @generated */ EClass MAYBE_LITERAL = eINSTANCE.getMaybeLiteral(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.CardinalityConstraintImpl <em>Cardinality Constraint</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.CardinalityConstraintImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getCardinalityConstraint() * @generated */ EClass CARDINALITY_CONSTRAINT = eINSTANCE.getCardinalityConstraint(); /** * The meta object literal for the '<em><b>Lhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference CARDINALITY_CONSTRAINT__LHS = eINSTANCE.getCardinalityConstraint_Lhs(); /** * The meta object literal for the '<em><b>Atom</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference CARDINALITY_CONSTRAINT__ATOM = eINSTANCE.getCardinalityConstraint_Atom(); /** * The meta object literal for the '<em><b>Rhs</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference CARDINALITY_CONSTRAINT__RHS = eINSTANCE.getCardinalityConstraint_Rhs(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.BoundImpl <em>Bound</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.BoundImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getBound() * @generated */ EClass BOUND = eINSTANCE.getBound(); /** * The meta object literal for the '<em><b>Av</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference BOUND__AV = eINSTANCE.getBound_Av(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.RuleImpl <em>Rule</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.RuleImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getRule() * @generated */ EClass RULE = eINSTANCE.getRule(); /** * The meta object literal for the '<em><b>Head</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference RULE__HEAD = eINSTANCE.getRule_Head(); /** * The meta object literal for the '<em><b>Condition</b></em>' attribute feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EAttribute RULE__CONDITION = eINSTANCE.getRule_Condition(); /** * The meta object literal for the '<em><b>Body</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference RULE__BODY = eINSTANCE.getRule_Body(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.HeadImpl <em>Head</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.HeadImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getHead() * @generated */ EClass HEAD = eINSTANCE.getHead(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.StatementImpl <em>Statement</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.StatementImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getStatement() * @generated */ EClass STATEMENT = eINSTANCE.getStatement(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.AdditionImpl <em>Addition</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.AdditionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getAddition() * @generated */ EClass ADDITION = eINSTANCE.getAddition(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.MultiplicationImpl <em>Multiplication</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.MultiplicationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getMultiplication() * @generated */ EClass MULTIPLICATION = eINSTANCE.getMultiplication(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.GroundAdditionImpl <em>Ground Addition</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundAdditionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundAddition() * @generated */ EClass GROUND_ADDITION = eINSTANCE.getGroundAddition(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.GroundMultiplicationImpl <em>Ground Multiplication</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.GroundMultiplicationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getGroundMultiplication() * @generated */ EClass GROUND_MULTIPLICATION = eINSTANCE.getGroundMultiplication(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SetAdditionImpl <em>Set Addition</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetAdditionImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetAddition() * @generated */ EClass SET_ADDITION = eINSTANCE.getSetAddition(); /** * The meta object literal for the '<em><b>Left</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference SET_ADDITION__LEFT = eINSTANCE.getSetAddition_Left(); /** * The meta object literal for the '<em><b>Right</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference SET_ADDITION__RIGHT = eINSTANCE.getSetAddition_Right(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.SetMultiplicationImpl <em>Set Multiplication</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.SetMultiplicationImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getSetMultiplication() * @generated */ EClass SET_MULTIPLICATION = eINSTANCE.getSetMultiplication(); /** * The meta object literal for the '<em><b>Left</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference SET_MULTIPLICATION__LEFT = eINSTANCE.getSetMultiplication_Left(); /** * The meta object literal for the '<em><b>Right</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference SET_MULTIPLICATION__RIGHT = eINSTANCE.getSetMultiplication_Right(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.OrSentenceImpl <em>Or Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.OrSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getOrSentence() * @generated */ EClass OR_SENTENCE = eINSTANCE.getOrSentence(); /** * The meta object literal for the '<em><b>Left</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference OR_SENTENCE__LEFT = eINSTANCE.getOrSentence_Left(); /** * The meta object literal for the '<em><b>Right</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference OR_SENTENCE__RIGHT = eINSTANCE.getOrSentence_Right(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.AndSentenceImpl <em>And Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.AndSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getAndSentence() * @generated */ EClass AND_SENTENCE = eINSTANCE.getAndSentence(); /** * The meta object literal for the '<em><b>Left</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference AND_SENTENCE__LEFT = eINSTANCE.getAndSentence_Left(); /** * The meta object literal for the '<em><b>Right</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference AND_SENTENCE__RIGHT = eINSTANCE.getAndSentence_Right(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.pOrSentenceImpl <em>pOr Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pOrSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpOrSentence() * @generated */ EClass POR_SENTENCE = eINSTANCE.getpOrSentence(); /** * The meta object literal for the '<em><b>Left</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference POR_SENTENCE__LEFT = eINSTANCE.getpOrSentence_Left(); /** * The meta object literal for the '<em><b>Right</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference POR_SENTENCE__RIGHT = eINSTANCE.getpOrSentence_Right(); /** * The meta object literal for the '{@link net.certware.argument.language.l.impl.pAndSentenceImpl <em>pAnd Sentence</em>}' class. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @see net.certware.argument.language.l.impl.pAndSentenceImpl * @see net.certware.argument.language.l.impl.LPackageImpl#getpAndSentence() * @generated */ EClass PAND_SENTENCE = eINSTANCE.getpAndSentence(); /** * The meta object literal for the '<em><b>Left</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference PAND_SENTENCE__LEFT = eINSTANCE.getpAndSentence_Left(); /** * The meta object literal for the '<em><b>Right</b></em>' containment reference feature. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ EReference PAND_SENTENCE__RIGHT = eINSTANCE.getpAndSentence_Right(); } } //LPackage