/** */ package hu.bme.mit.inf.dslreasoner.smtLanguage; import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; /** * * The Package for the model. * It contains accessors for the meta objects to represent * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguageFactory * @model kind="package" * @generated */ public interface SmtLanguagePackage extends EPackage { /** * The package name. * * * @generated */ String eNAME = "smtLanguage"; /** * The package namespace URI. * * * @generated */ String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/SmtLanguage"; /** * The package namespace name. * * * @generated */ String eNS_PREFIX = "smtLanguage"; /** * The singleton instance of the package. * * * @generated */ SmtLanguagePackage eINSTANCE = hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl.init(); /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl SMT Document}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDocument() * @generated */ int SMT_DOCUMENT = 0; /** * The feature id for the 'Input' containment reference. * * * @generated * @ordered */ int SMT_DOCUMENT__INPUT = 0; /** * The feature id for the 'Output' containment reference. * * * @generated * @ordered */ int SMT_DOCUMENT__OUTPUT = 1; /** * The number of structural features of the 'SMT Document' class. * * * @generated * @ordered */ int SMT_DOCUMENT_FEATURE_COUNT = 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl SMT Input}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInput() * @generated */ int SMT_INPUT = 1; /** * The feature id for the 'Options' containment reference list. * * * @generated * @ordered */ int SMT_INPUT__OPTIONS = 0; /** * The feature id for the 'Type Declarations' containment reference list. * * * @generated * @ordered */ int SMT_INPUT__TYPE_DECLARATIONS = 1; /** * The feature id for the 'Function Declarations' containment reference list. * * * @generated * @ordered */ int SMT_INPUT__FUNCTION_DECLARATIONS = 2; /** * The feature id for the 'Function Definition' containment reference list. * * * @generated * @ordered */ int SMT_INPUT__FUNCTION_DEFINITION = 3; /** * The feature id for the 'Assertions' containment reference list. * * * @generated * @ordered */ int SMT_INPUT__ASSERTIONS = 4; /** * The feature id for the 'Sat Command' containment reference. * * * @generated * @ordered */ int SMT_INPUT__SAT_COMMAND = 5; /** * The feature id for the 'Get Model Command' containment reference. * * * @generated * @ordered */ int SMT_INPUT__GET_MODEL_COMMAND = 6; /** * The number of structural features of the 'SMT Input' class. * * * @generated * @ordered */ int SMT_INPUT_FEATURE_COUNT = 7; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl SMT Output}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOutput() * @generated */ int SMT_OUTPUT = 2; /** * The feature id for the 'Sat Result' containment reference. * * * @generated * @ordered */ int SMT_OUTPUT__SAT_RESULT = 0; /** * The feature id for the 'Get Model Result' containment reference. * * * @generated * @ordered */ int SMT_OUTPUT__GET_MODEL_RESULT = 1; /** * The feature id for the 'Statistics' containment reference. * * * @generated * @ordered */ int SMT_OUTPUT__STATISTICS = 2; /** * The number of structural features of the 'SMT Output' class. * * * @generated * @ordered */ int SMT_OUTPUT_FEATURE_COUNT = 3; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl SMT Option}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOption() * @generated */ int SMT_OPTION = 3; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_OPTION__NAME = 0; /** * The feature id for the 'Value' containment reference. * * * @generated * @ordered */ int SMT_OPTION__VALUE = 1; /** * The number of structural features of the 'SMT Option' class. * * * @generated * @ordered */ int SMT_OPTION_FEATURE_COUNT = 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl SMT Type}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTType() * @generated */ int SMT_TYPE = 4; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_TYPE__NAME = 0; /** * The number of structural features of the 'SMT Type' class. * * * @generated * @ordered */ int SMT_TYPE_FEATURE_COUNT = 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl SMT Symbolic Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicDeclaration() * @generated */ int SMT_SYMBOLIC_DECLARATION = 17; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_SYMBOLIC_DECLARATION__NAME = 0; /** * The number of structural features of the 'SMT Symbolic Declaration' class. * * * @generated * @ordered */ int SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT = 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl SMT Enum Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumLiteral() * @generated */ int SMT_ENUM_LITERAL = 5; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_ENUM_LITERAL__NAME = SMT_SYMBOLIC_DECLARATION__NAME; /** * The number of structural features of the 'SMT Enum Literal' class. * * * @generated * @ordered */ int SMT_ENUM_LITERAL_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl SMT Enumerated Type Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumeratedTypeDeclaration() * @generated */ int SMT_ENUMERATED_TYPE_DECLARATION = 6; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_ENUMERATED_TYPE_DECLARATION__NAME = SMT_TYPE__NAME; /** * The feature id for the 'Elements' containment reference list. * * * @generated * @ordered */ int SMT_ENUMERATED_TYPE_DECLARATION__ELEMENTS = SMT_TYPE_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Enumerated Type Declaration' class. * * * @generated * @ordered */ int SMT_ENUMERATED_TYPE_DECLARATION_FEATURE_COUNT = SMT_TYPE_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl SMT Set Type Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSetTypeDeclaration() * @generated */ int SMT_SET_TYPE_DECLARATION = 7; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_SET_TYPE_DECLARATION__NAME = SMT_TYPE__NAME; /** * The number of structural features of the 'SMT Set Type Declaration' class. * * * @generated * @ordered */ int SMT_SET_TYPE_DECLARATION_FEATURE_COUNT = SMT_TYPE_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl SMT Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTypeReference() * @generated */ int SMT_TYPE_REFERENCE = 8; /** * The number of structural features of the 'SMT Type Reference' class. * * * @generated * @ordered */ int SMT_TYPE_REFERENCE_FEATURE_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl SMT Complex Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexTypeReference() * @generated */ int SMT_COMPLEX_TYPE_REFERENCE = 9; /** * The feature id for the 'Referred' reference. * * * @generated * @ordered */ int SMT_COMPLEX_TYPE_REFERENCE__REFERRED = SMT_TYPE_REFERENCE_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Complex Type Reference' class. * * * @generated * @ordered */ int SMT_COMPLEX_TYPE_REFERENCE_FEATURE_COUNT = SMT_TYPE_REFERENCE_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl SMT Primitive Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPrimitiveTypeReference() * @generated */ int SMT_PRIMITIVE_TYPE_REFERENCE = 10; /** * The number of structural features of the 'SMT Primitive Type Reference' class. * * * @generated * @ordered */ int SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT = SMT_TYPE_REFERENCE_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl SMT Int Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntTypeReference() * @generated */ int SMT_INT_TYPE_REFERENCE = 11; /** * The number of structural features of the 'SMT Int Type Reference' class. * * * @generated * @ordered */ int SMT_INT_TYPE_REFERENCE_FEATURE_COUNT = SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl SMT Bool Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolTypeReference() * @generated */ int SMT_BOOL_TYPE_REFERENCE = 12; /** * The number of structural features of the 'SMT Bool Type Reference' class. * * * @generated * @ordered */ int SMT_BOOL_TYPE_REFERENCE_FEATURE_COUNT = SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl SMT Real Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealTypeReference() * @generated */ int SMT_REAL_TYPE_REFERENCE = 13; /** * The number of structural features of the 'SMT Real Type Reference' class. * * * @generated * @ordered */ int SMT_REAL_TYPE_REFERENCE_FEATURE_COUNT = SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl SMT Function Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDeclaration() * @generated */ int SMT_FUNCTION_DECLARATION = 14; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_FUNCTION_DECLARATION__NAME = SMT_SYMBOLIC_DECLARATION__NAME; /** * The feature id for the 'Parameters' containment reference list. * * * @generated * @ordered */ int SMT_FUNCTION_DECLARATION__PARAMETERS = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; /** * The feature id for the 'Range' containment reference. * * * @generated * @ordered */ int SMT_FUNCTION_DECLARATION__RANGE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Function Declaration' class. * * * @generated * @ordered */ int SMT_FUNCTION_DECLARATION_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl SMT Function Definition}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDefinition() * @generated */ int SMT_FUNCTION_DEFINITION = 15; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_FUNCTION_DEFINITION__NAME = SMT_SYMBOLIC_DECLARATION__NAME; /** * The feature id for the 'Parameters' containment reference list. * * * @generated * @ordered */ int SMT_FUNCTION_DEFINITION__PARAMETERS = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; /** * The feature id for the 'Range' containment reference. * * * @generated * @ordered */ int SMT_FUNCTION_DEFINITION__RANGE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; /** * The feature id for the 'Value' containment reference. * * * @generated * @ordered */ int SMT_FUNCTION_DEFINITION__VALUE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 2; /** * The number of structural features of the 'SMT Function Definition' class. * * * @generated * @ordered */ int SMT_FUNCTION_DEFINITION_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 3; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl SMT Term}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTerm() * @generated */ int SMT_TERM = 16; /** * The number of structural features of the 'SMT Term' class. * * * @generated * @ordered */ int SMT_TERM_FEATURE_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl SMT Symbolic Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicValue() * @generated */ int SMT_SYMBOLIC_VALUE = 18; /** * The feature id for the 'Symbolic Reference' reference. * * * @generated * @ordered */ int SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = SMT_TERM_FEATURE_COUNT + 0; /** * The feature id for the 'Parameter Substitutions' containment reference list. * * * @generated * @ordered */ int SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = SMT_TERM_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Symbolic Value' class. * * * @generated * @ordered */ int SMT_SYMBOLIC_VALUE_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl SMT Atomic Term}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAtomicTerm() * @generated */ int SMT_ATOMIC_TERM = 19; /** * The number of structural features of the 'SMT Atomic Term' class. * * * @generated * @ordered */ int SMT_ATOMIC_TERM_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl SMT Int Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntLiteral() * @generated */ int SMT_INT_LITERAL = 20; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int SMT_INT_LITERAL__VALUE = SMT_ATOMIC_TERM_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Int Literal' class. * * * @generated * @ordered */ int SMT_INT_LITERAL_FEATURE_COUNT = SMT_ATOMIC_TERM_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl SMT Bool Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolLiteral() * @generated */ int SMT_BOOL_LITERAL = 21; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int SMT_BOOL_LITERAL__VALUE = SMT_ATOMIC_TERM_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Bool Literal' class. * * * @generated * @ordered */ int SMT_BOOL_LITERAL_FEATURE_COUNT = SMT_ATOMIC_TERM_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl SMT Real Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealLiteral() * @generated */ int SMT_REAL_LITERAL = 22; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int SMT_REAL_LITERAL__VALUE = SMT_ATOMIC_TERM_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Real Literal' class. * * * @generated * @ordered */ int SMT_REAL_LITERAL_FEATURE_COUNT = SMT_ATOMIC_TERM_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl SMT Sorted Variable}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSortedVariable() * @generated */ int SMT_SORTED_VARIABLE = 23; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_SORTED_VARIABLE__NAME = SMT_SYMBOLIC_DECLARATION__NAME; /** * The feature id for the 'Range' containment reference. * * * @generated * @ordered */ int SMT_SORTED_VARIABLE__RANGE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Sorted Variable' class. * * * @generated * @ordered */ int SMT_SORTED_VARIABLE_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl SMT Quantified Expression}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTQuantifiedExpression() * @generated */ int SMT_QUANTIFIED_EXPRESSION = 24; /** * The feature id for the 'Quantified Variables' containment reference list. * * * @generated * @ordered */ int SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = SMT_TERM_FEATURE_COUNT + 0; /** * The feature id for the 'Expression' containment reference. * * * @generated * @ordered */ int SMT_QUANTIFIED_EXPRESSION__EXPRESSION = SMT_TERM_FEATURE_COUNT + 1; /** * The feature id for the 'Pattern' containment reference. * * * @generated * @ordered */ int SMT_QUANTIFIED_EXPRESSION__PATTERN = SMT_TERM_FEATURE_COUNT + 2; /** * The number of structural features of the 'SMT Quantified Expression' class. * * * @generated * @ordered */ int SMT_QUANTIFIED_EXPRESSION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 3; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl SMT Exists}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTExists() * @generated */ int SMT_EXISTS = 25; /** * The feature id for the 'Quantified Variables' containment reference list. * * * @generated * @ordered */ int SMT_EXISTS__QUANTIFIED_VARIABLES = SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES; /** * The feature id for the 'Expression' containment reference. * * * @generated * @ordered */ int SMT_EXISTS__EXPRESSION = SMT_QUANTIFIED_EXPRESSION__EXPRESSION; /** * The feature id for the 'Pattern' containment reference. * * * @generated * @ordered */ int SMT_EXISTS__PATTERN = SMT_QUANTIFIED_EXPRESSION__PATTERN; /** * The number of structural features of the 'SMT Exists' class. * * * @generated * @ordered */ int SMT_EXISTS_FEATURE_COUNT = SMT_QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl SMT Forall}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTForall() * @generated */ int SMT_FORALL = 26; /** * The feature id for the 'Quantified Variables' containment reference list. * * * @generated * @ordered */ int SMT_FORALL__QUANTIFIED_VARIABLES = SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES; /** * The feature id for the 'Expression' containment reference. * * * @generated * @ordered */ int SMT_FORALL__EXPRESSION = SMT_QUANTIFIED_EXPRESSION__EXPRESSION; /** * The feature id for the 'Pattern' containment reference. * * * @generated * @ordered */ int SMT_FORALL__PATTERN = SMT_QUANTIFIED_EXPRESSION__PATTERN; /** * The number of structural features of the 'SMT Forall' class. * * * @generated * @ordered */ int SMT_FORALL_FEATURE_COUNT = SMT_QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl SMT Bool Operation}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolOperation() * @generated */ int SMT_BOOL_OPERATION = 27; /** * The number of structural features of the 'SMT Bool Operation' class. * * * @generated * @ordered */ int SMT_BOOL_OPERATION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl SMT And}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAnd() * @generated */ int SMT_AND = 28; /** * The feature id for the 'Operands' containment reference list. * * * @generated * @ordered */ int SMT_AND__OPERANDS = SMT_BOOL_OPERATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT And' class. * * * @generated * @ordered */ int SMT_AND_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl SMT Or}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOr() * @generated */ int SMT_OR = 29; /** * The feature id for the 'Operands' containment reference list. * * * @generated * @ordered */ int SMT_OR__OPERANDS = SMT_BOOL_OPERATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Or' class. * * * @generated * @ordered */ int SMT_OR_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl SMT Impl}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTImpl() * @generated */ int SMT_IMPL = 30; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_IMPL__LEFT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_IMPL__RIGHT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Impl' class. * * * @generated * @ordered */ int SMT_IMPL_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl SMT Not}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTNot() * @generated */ int SMT_NOT = 31; /** * The feature id for the 'Operand' containment reference. * * * @generated * @ordered */ int SMT_NOT__OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Not' class. * * * @generated * @ordered */ int SMT_NOT_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl SMT Iff}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIff() * @generated */ int SMT_IFF = 32; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_IFF__LEFT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_IFF__RIGHT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Iff' class. * * * @generated * @ordered */ int SMT_IFF_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl SMTITE}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTITE() * @generated */ int SMTITE = 33; /** * The feature id for the 'Condition' containment reference. * * * @generated * @ordered */ int SMTITE__CONDITION = SMT_TERM_FEATURE_COUNT + 0; /** * The feature id for the 'If' containment reference. * * * @generated * @ordered */ int SMTITE__IF = SMT_TERM_FEATURE_COUNT + 1; /** * The feature id for the 'Else' containment reference. * * * @generated * @ordered */ int SMTITE__ELSE = SMT_TERM_FEATURE_COUNT + 2; /** * The number of structural features of the 'SMTITE' class. * * * @generated * @ordered */ int SMTITE_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 3; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl SMT Let}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLet() * @generated */ int SMT_LET = 34; /** * The feature id for the 'Inline Constant Definitions' containment reference list. * * * @generated * @ordered */ int SMT_LET__INLINE_CONSTANT_DEFINITIONS = SMT_TERM_FEATURE_COUNT + 0; /** * The feature id for the 'Term' containment reference. * * * @generated * @ordered */ int SMT_LET__TERM = SMT_TERM_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Let' class. * * * @generated * @ordered */ int SMT_LET_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl SMT Inline Constant Definition}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInlineConstantDefinition() * @generated */ int SMT_INLINE_CONSTANT_DEFINITION = 35; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_INLINE_CONSTANT_DEFINITION__NAME = SMT_SYMBOLIC_DECLARATION__NAME; /** * The feature id for the 'Definition' containment reference. * * * @generated * @ordered */ int SMT_INLINE_CONSTANT_DEFINITION__DEFINITION = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Inline Constant Definition' class. * * * @generated * @ordered */ int SMT_INLINE_CONSTANT_DEFINITION_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl SMT Relation}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRelation() * @generated */ int SMT_RELATION = 36; /** * The number of structural features of the 'SMT Relation' class. * * * @generated * @ordered */ int SMT_RELATION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl SMT Equals}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEquals() * @generated */ int SMT_EQUALS = 37; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_EQUALS__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_EQUALS__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Equals' class. * * * @generated * @ordered */ int SMT_EQUALS_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl SMT Distinct}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDistinct() * @generated */ int SMT_DISTINCT = 38; /** * The feature id for the 'Operands' containment reference list. * * * @generated * @ordered */ int SMT_DISTINCT__OPERANDS = SMT_RELATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Distinct' class. * * * @generated * @ordered */ int SMT_DISTINCT_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl SMTLT}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLT() * @generated */ int SMTLT = 39; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMTLT__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMTLT__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMTLT' class. * * * @generated * @ordered */ int SMTLT_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl SMTMT}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMT() * @generated */ int SMTMT = 40; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMTMT__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMTMT__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMTMT' class. * * * @generated * @ordered */ int SMTMT_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl SMTLEQ}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLEQ() * @generated */ int SMTLEQ = 41; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMTLEQ__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMTLEQ__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMTLEQ' class. * * * @generated * @ordered */ int SMTLEQ_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl SMTMEQ}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMEQ() * @generated */ int SMTMEQ = 42; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMTMEQ__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMTMEQ__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMTMEQ' class. * * * @generated * @ordered */ int SMTMEQ_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl SMT Int Operation}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntOperation() * @generated */ int SMT_INT_OPERATION = 43; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_INT_OPERATION__LEFT_OPERAND = SMT_TERM_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_INT_OPERATION__RIGHT_OPERAND = SMT_TERM_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Int Operation' class. * * * @generated * @ordered */ int SMT_INT_OPERATION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl SMT Plus}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPlus() * @generated */ int SMT_PLUS = 44; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_PLUS__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_PLUS__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'SMT Plus' class. * * * @generated * @ordered */ int SMT_PLUS_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl SMT Minus}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMinus() * @generated */ int SMT_MINUS = 45; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_MINUS__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_MINUS__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'SMT Minus' class. * * * @generated * @ordered */ int SMT_MINUS_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl SMT Multiply}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMultiply() * @generated */ int SMT_MULTIPLY = 46; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_MULTIPLY__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_MULTIPLY__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'SMT Multiply' class. * * * @generated * @ordered */ int SMT_MULTIPLY_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl SMT Divison}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDivison() * @generated */ int SMT_DIVISON = 47; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_DIVISON__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_DIVISON__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'SMT Divison' class. * * * @generated * @ordered */ int SMT_DIVISON_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl SMT Div}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDiv() * @generated */ int SMT_DIV = 48; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_DIV__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_DIV__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'SMT Div' class. * * * @generated * @ordered */ int SMT_DIV_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl SMT Mod}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMod() * @generated */ int SMT_MOD = 49; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int SMT_MOD__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int SMT_MOD__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'SMT Mod' class. * * * @generated * @ordered */ int SMT_MOD_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl SMT Assertion}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAssertion() * @generated */ int SMT_ASSERTION = 50; /** * The feature id for the 'Value' containment reference. * * * @generated * @ordered */ int SMT_ASSERTION__VALUE = 0; /** * The number of structural features of the 'SMT Assertion' class. * * * @generated * @ordered */ int SMT_ASSERTION_FEATURE_COUNT = 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl SMT Cardinality Constraint}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTCardinalityConstraint() * @generated */ int SMT_CARDINALITY_CONSTRAINT = 51; /** * The feature id for the 'Type' containment reference. * * * @generated * @ordered */ int SMT_CARDINALITY_CONSTRAINT__TYPE = 0; /** * The feature id for the 'Elements' containment reference list. * * * @generated * @ordered */ int SMT_CARDINALITY_CONSTRAINT__ELEMENTS = 1; /** * The number of structural features of the 'SMT Cardinality Constraint' class. * * * @generated * @ordered */ int SMT_CARDINALITY_CONSTRAINT_FEATURE_COUNT = 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl SMT Sat Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatCommand() * @generated */ int SMT_SAT_COMMAND = 52; /** * The number of structural features of the 'SMT Sat Command' class. * * * @generated * @ordered */ int SMT_SAT_COMMAND_FEATURE_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl SMT Simple Sat Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSimpleSatCommand() * @generated */ int SMT_SIMPLE_SAT_COMMAND = 53; /** * The number of structural features of the 'SMT Simple Sat Command' class. * * * @generated * @ordered */ int SMT_SIMPLE_SAT_COMMAND_FEATURE_COUNT = SMT_SAT_COMMAND_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl SMT Complex Sat Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexSatCommand() * @generated */ int SMT_COMPLEX_SAT_COMMAND = 54; /** * The feature id for the 'Method' containment reference. * * * @generated * @ordered */ int SMT_COMPLEX_SAT_COMMAND__METHOD = SMT_SAT_COMMAND_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Complex Sat Command' class. * * * @generated * @ordered */ int SMT_COMPLEX_SAT_COMMAND_FEATURE_COUNT = SMT_SAT_COMMAND_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl SMT Get Model Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTGetModelCommand() * @generated */ int SMT_GET_MODEL_COMMAND = 55; /** * The number of structural features of the 'SMT Get Model Command' class. * * * @generated * @ordered */ int SMT_GET_MODEL_COMMAND_FEATURE_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl SMT Reasoning Tactic}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningTactic() * @generated */ int SMT_REASONING_TACTIC = 56; /** * The number of structural features of the 'SMT Reasoning Tactic' class. * * * @generated * @ordered */ int SMT_REASONING_TACTIC_FEATURE_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl SMT Builtin Tactic}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBuiltinTactic() * @generated */ int SMT_BUILTIN_TACTIC = 57; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_BUILTIN_TACTIC__NAME = SMT_REASONING_TACTIC_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Builtin Tactic' class. * * * @generated * @ordered */ int SMT_BUILTIN_TACTIC_FEATURE_COUNT = SMT_REASONING_TACTIC_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl SMT Reasoning Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningCombinator() * @generated */ int SMT_REASONING_COMBINATOR = 58; /** * The number of structural features of the 'SMT Reasoning Combinator' class. * * * @generated * @ordered */ int SMT_REASONING_COMBINATOR_FEATURE_COUNT = SMT_REASONING_TACTIC_FEATURE_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl SMT And Then Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAndThenCombinator() * @generated */ int SMT_AND_THEN_COMBINATOR = 59; /** * The feature id for the 'Tactics' containment reference list. * * * @generated * @ordered */ int SMT_AND_THEN_COMBINATOR__TACTICS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT And Then Combinator' class. * * * @generated * @ordered */ int SMT_AND_THEN_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl SMT Or Else Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOrElseCombinator() * @generated */ int SMT_OR_ELSE_COMBINATOR = 60; /** * The feature id for the 'Tactics' containment reference list. * * * @generated * @ordered */ int SMT_OR_ELSE_COMBINATOR__TACTICS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Or Else Combinator' class. * * * @generated * @ordered */ int SMT_OR_ELSE_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl SMT Par Or Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParOrCombinator() * @generated */ int SMT_PAR_OR_COMBINATOR = 61; /** * The feature id for the 'Tactics' containment reference list. * * * @generated * @ordered */ int SMT_PAR_OR_COMBINATOR__TACTICS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Par Or Combinator' class. * * * @generated * @ordered */ int SMT_PAR_OR_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl SMT Par Then Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParThenCombinator() * @generated */ int SMT_PAR_THEN_COMBINATOR = 62; /** * The feature id for the 'Pre Processing Tactic' containment reference. * * * @generated * @ordered */ int SMT_PAR_THEN_COMBINATOR__PRE_PROCESSING_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The feature id for the 'Paralelly Postpricessing Tactic' containment reference. * * * @generated * @ordered */ int SMT_PAR_THEN_COMBINATOR__PARALELLY_POSTPRICESSING_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Par Then Combinator' class. * * * @generated * @ordered */ int SMT_PAR_THEN_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl SMT Try For Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTryForCombinator() * @generated */ int SMT_TRY_FOR_COMBINATOR = 63; /** * The feature id for the 'Tactic' containment reference. * * * @generated * @ordered */ int SMT_TRY_FOR_COMBINATOR__TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The feature id for the 'Time' attribute. * * * @generated * @ordered */ int SMT_TRY_FOR_COMBINATOR__TIME = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Try For Combinator' class. * * * @generated * @ordered */ int SMT_TRY_FOR_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl SMT If Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIfCombinator() * @generated */ int SMT_IF_COMBINATOR = 64; /** * The feature id for the 'Probe' containment reference. * * * @generated * @ordered */ int SMT_IF_COMBINATOR__PROBE = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The feature id for the 'If Tactic' containment reference. * * * @generated * @ordered */ int SMT_IF_COMBINATOR__IF_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The feature id for the 'Else Tactic' containment reference. * * * @generated * @ordered */ int SMT_IF_COMBINATOR__ELSE_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2; /** * The number of structural features of the 'SMT If Combinator' class. * * * @generated * @ordered */ int SMT_IF_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 3; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl SMT When Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTWhenCombinator() * @generated */ int SMT_WHEN_COMBINATOR = 65; /** * The feature id for the 'Probe' containment reference. * * * @generated * @ordered */ int SMT_WHEN_COMBINATOR__PROBE = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The feature id for the 'Tactic' containment reference. * * * @generated * @ordered */ int SMT_WHEN_COMBINATOR__TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT When Combinator' class. * * * @generated * @ordered */ int SMT_WHEN_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl SMT Fail If Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFailIfCombinator() * @generated */ int SMT_FAIL_IF_COMBINATOR = 66; /** * The feature id for the 'Probe' containment reference. * * * @generated * @ordered */ int SMT_FAIL_IF_COMBINATOR__PROBE = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Fail If Combinator' class. * * * @generated * @ordered */ int SMT_FAIL_IF_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl SMT Using Param Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUsingParamCombinator() * @generated */ int SMT_USING_PARAM_COMBINATOR = 67; /** * The feature id for the 'Tactic' containment reference. * * * @generated * @ordered */ int SMT_USING_PARAM_COMBINATOR__TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0; /** * The feature id for the 'Parameters' containment reference list. * * * @generated * @ordered */ int SMT_USING_PARAM_COMBINATOR__PARAMETERS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1; /** * The number of structural features of the 'SMT Using Param Combinator' class. * * * @generated * @ordered */ int SMT_USING_PARAM_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl Reasoning Probe}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningProbe() * @generated */ int REASONING_PROBE = 68; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int REASONING_PROBE__NAME = 0; /** * The number of structural features of the 'Reasoning Probe' class. * * * @generated * @ordered */ int REASONING_PROBE_FEATURE_COUNT = 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl Reasoning Tactic Parameter}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningTacticParameter() * @generated */ int REASONING_TACTIC_PARAMETER = 69; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int REASONING_TACTIC_PARAMETER__NAME = 0; /** * The feature id for the 'Value' containment reference. * * * @generated * @ordered */ int REASONING_TACTIC_PARAMETER__VALUE = 1; /** * The number of structural features of the 'Reasoning Tactic Parameter' class. * * * @generated * @ordered */ int REASONING_TACTIC_PARAMETER_FEATURE_COUNT = 2; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl SMT Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTResult() * @generated */ int SMT_RESULT = 70; /** * The number of structural features of the 'SMT Result' class. * * * @generated * @ordered */ int SMT_RESULT_FEATURE_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl SMT Error Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTErrorResult() * @generated */ int SMT_ERROR_RESULT = 71; /** * The feature id for the 'Message' attribute. * * * @generated * @ordered */ int SMT_ERROR_RESULT__MESSAGE = SMT_RESULT_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Error Result' class. * * * @generated * @ordered */ int SMT_ERROR_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl SMT Unsupported Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUnsupportedResult() * @generated */ int SMT_UNSUPPORTED_RESULT = 72; /** * The feature id for the 'Command' attribute. * * * @generated * @ordered */ int SMT_UNSUPPORTED_RESULT__COMMAND = SMT_RESULT_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Unsupported Result' class. * * * @generated * @ordered */ int SMT_UNSUPPORTED_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl SMT Sat Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatResult() * @generated */ int SMT_SAT_RESULT = 73; /** * The feature id for the 'Sat' attribute. * * * @generated * @ordered */ int SMT_SAT_RESULT__SAT = SMT_RESULT_FEATURE_COUNT + 0; /** * The feature id for the 'Unsat' attribute. * * * @generated * @ordered */ int SMT_SAT_RESULT__UNSAT = SMT_RESULT_FEATURE_COUNT + 1; /** * The feature id for the 'Unknown' attribute. * * * @generated * @ordered */ int SMT_SAT_RESULT__UNKNOWN = SMT_RESULT_FEATURE_COUNT + 2; /** * The number of structural features of the 'SMT Sat Result' class. * * * @generated * @ordered */ int SMT_SAT_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 3; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl SMT Model Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTModelResult() * @generated */ int SMT_MODEL_RESULT = 74; /** * The feature id for the 'New Function Declarations' containment reference list. * * * @generated * @ordered */ int SMT_MODEL_RESULT__NEW_FUNCTION_DECLARATIONS = SMT_RESULT_FEATURE_COUNT + 0; /** * The feature id for the 'Type Definitions' containment reference list. * * * @generated * @ordered */ int SMT_MODEL_RESULT__TYPE_DEFINITIONS = SMT_RESULT_FEATURE_COUNT + 1; /** * The feature id for the 'New Function Definitions' containment reference list. * * * @generated * @ordered */ int SMT_MODEL_RESULT__NEW_FUNCTION_DEFINITIONS = SMT_RESULT_FEATURE_COUNT + 2; /** * The number of structural features of the 'SMT Model Result' class. * * * @generated * @ordered */ int SMT_MODEL_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 3; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl SMT Statistic Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticValue() * @generated */ int SMT_STATISTIC_VALUE = 75; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_STATISTIC_VALUE__NAME = 0; /** * The number of structural features of the 'SMT Statistic Value' class. * * * @generated * @ordered */ int SMT_STATISTIC_VALUE_FEATURE_COUNT = 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl SMT Statistic Int Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticIntValue() * @generated */ int SMT_STATISTIC_INT_VALUE = 76; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_STATISTIC_INT_VALUE__NAME = SMT_STATISTIC_VALUE__NAME; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int SMT_STATISTIC_INT_VALUE__VALUE = SMT_STATISTIC_VALUE_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Statistic Int Value' class. * * * @generated * @ordered */ int SMT_STATISTIC_INT_VALUE_FEATURE_COUNT = SMT_STATISTIC_VALUE_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl SMT Statistic Double Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticDoubleValue() * @generated */ int SMT_STATISTIC_DOUBLE_VALUE = 77; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SMT_STATISTIC_DOUBLE_VALUE__NAME = SMT_STATISTIC_VALUE__NAME; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int SMT_STATISTIC_DOUBLE_VALUE__VALUE = SMT_STATISTIC_VALUE_FEATURE_COUNT + 0; /** * The number of structural features of the 'SMT Statistic Double Value' class. * * * @generated * @ordered */ int SMT_STATISTIC_DOUBLE_VALUE_FEATURE_COUNT = SMT_STATISTIC_VALUE_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl SMT Statistics Section}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticsSection() * @generated */ int SMT_STATISTICS_SECTION = 78; /** * The feature id for the 'Values' containment reference list. * * * @generated * @ordered */ int SMT_STATISTICS_SECTION__VALUES = 0; /** * The number of structural features of the 'SMT Statistics Section' class. * * * @generated * @ordered */ int SMT_STATISTICS_SECTION_FEATURE_COUNT = 1; /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument SMT Document}'. * * * @return the meta object for class 'SMT Document'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument * @generated */ EClass getSMTDocument(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getInput Input}'. * * * @return the meta object for the containment reference 'Input'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getInput() * @see #getSMTDocument() * @generated */ EReference getSMTDocument_Input(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getOutput Output}'. * * * @return the meta object for the containment reference 'Output'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getOutput() * @see #getSMTDocument() * @generated */ EReference getSMTDocument_Output(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput SMT Input}'. * * * @return the meta object for class 'SMT Input'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput * @generated */ EClass getSMTInput(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getOptions Options}'. * * * @return the meta object for the containment reference list 'Options'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getOptions() * @see #getSMTInput() * @generated */ EReference getSMTInput_Options(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getTypeDeclarations Type Declarations}'. * * * @return the meta object for the containment reference list 'Type Declarations'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getTypeDeclarations() * @see #getSMTInput() * @generated */ EReference getSMTInput_TypeDeclarations(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDeclarations Function Declarations}'. * * * @return the meta object for the containment reference list 'Function Declarations'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDeclarations() * @see #getSMTInput() * @generated */ EReference getSMTInput_FunctionDeclarations(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDefinition Function Definition}'. * * * @return the meta object for the containment reference list 'Function Definition'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDefinition() * @see #getSMTInput() * @generated */ EReference getSMTInput_FunctionDefinition(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getAssertions Assertions}'. * * * @return the meta object for the containment reference list 'Assertions'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getAssertions() * @see #getSMTInput() * @generated */ EReference getSMTInput_Assertions(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand Sat Command}'. * * * @return the meta object for the containment reference 'Sat Command'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand() * @see #getSMTInput() * @generated */ EReference getSMTInput_SatCommand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand Get Model Command}'. * * * @return the meta object for the containment reference 'Get Model Command'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand() * @see #getSMTInput() * @generated */ EReference getSMTInput_GetModelCommand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput SMT Output}'. * * * @return the meta object for class 'SMT Output'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput * @generated */ EClass getSMTOutput(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getSatResult Sat Result}'. * * * @return the meta object for the containment reference 'Sat Result'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getSatResult() * @see #getSMTOutput() * @generated */ EReference getSMTOutput_SatResult(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getGetModelResult Get Model Result}'. * * * @return the meta object for the containment reference 'Get Model Result'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getGetModelResult() * @see #getSMTOutput() * @generated */ EReference getSMTOutput_GetModelResult(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getStatistics Statistics}'. * * * @return the meta object for the containment reference 'Statistics'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getStatistics() * @see #getSMTOutput() * @generated */ EReference getSMTOutput_Statistics(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption SMT Option}'. * * * @return the meta object for class 'SMT Option'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption * @generated */ EClass getSMTOption(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getName() * @see #getSMTOption() * @generated */ EAttribute getSMTOption_Name(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getValue Value}'. * * * @return the meta object for the containment reference 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getValue() * @see #getSMTOption() * @generated */ EReference getSMTOption_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType SMT Type}'. * * * @return the meta object for class 'SMT Type'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType * @generated */ EClass getSMTType(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType#getName() * @see #getSMTType() * @generated */ EAttribute getSMTType_Name(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumLiteral SMT Enum Literal}'. * * * @return the meta object for class 'SMT Enum Literal'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumLiteral * @generated */ EClass getSMTEnumLiteral(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration SMT Enumerated Type Declaration}'. * * * @return the meta object for class 'SMT Enumerated Type Declaration'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration * @generated */ EClass getSMTEnumeratedTypeDeclaration(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration#getElements Elements}'. * * * @return the meta object for the containment reference list 'Elements'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration#getElements() * @see #getSMTEnumeratedTypeDeclaration() * @generated */ EReference getSMTEnumeratedTypeDeclaration_Elements(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSetTypeDeclaration SMT Set Type Declaration}'. * * * @return the meta object for class 'SMT Set Type Declaration'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSetTypeDeclaration * @generated */ EClass getSMTSetTypeDeclaration(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTypeReference SMT Type Reference}'. * * * @return the meta object for class 'SMT Type Reference'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTypeReference * @generated */ EClass getSMTTypeReference(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference SMT Complex Type Reference}'. * * * @return the meta object for class 'SMT Complex Type Reference'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference * @generated */ EClass getSMTComplexTypeReference(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference#getReferred Referred}'. * * * @return the meta object for the reference 'Referred'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference#getReferred() * @see #getSMTComplexTypeReference() * @generated */ EReference getSMTComplexTypeReference_Referred(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPrimitiveTypeReference SMT Primitive Type Reference}'. * * * @return the meta object for class 'SMT Primitive Type Reference'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPrimitiveTypeReference * @generated */ EClass getSMTPrimitiveTypeReference(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntTypeReference SMT Int Type Reference}'. * * * @return the meta object for class 'SMT Int Type Reference'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntTypeReference * @generated */ EClass getSMTIntTypeReference(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolTypeReference SMT Bool Type Reference}'. * * * @return the meta object for class 'SMT Bool Type Reference'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolTypeReference * @generated */ EClass getSMTBoolTypeReference(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealTypeReference SMT Real Type Reference}'. * * * @return the meta object for class 'SMT Real Type Reference'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealTypeReference * @generated */ EClass getSMTRealTypeReference(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration SMT Function Declaration}'. * * * @return the meta object for class 'SMT Function Declaration'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration * @generated */ EClass getSMTFunctionDeclaration(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getParameters Parameters}'. * * * @return the meta object for the containment reference list 'Parameters'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getParameters() * @see #getSMTFunctionDeclaration() * @generated */ EReference getSMTFunctionDeclaration_Parameters(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getRange Range}'. * * * @return the meta object for the containment reference 'Range'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getRange() * @see #getSMTFunctionDeclaration() * @generated */ EReference getSMTFunctionDeclaration_Range(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition SMT Function Definition}'. * * * @return the meta object for class 'SMT Function Definition'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition * @generated */ EClass getSMTFunctionDefinition(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getParameters Parameters}'. * * * @return the meta object for the containment reference list 'Parameters'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getParameters() * @see #getSMTFunctionDefinition() * @generated */ EReference getSMTFunctionDefinition_Parameters(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getRange Range}'. * * * @return the meta object for the containment reference 'Range'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getRange() * @see #getSMTFunctionDefinition() * @generated */ EReference getSMTFunctionDefinition_Range(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getValue Value}'. * * * @return the meta object for the containment reference 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getValue() * @see #getSMTFunctionDefinition() * @generated */ EReference getSMTFunctionDefinition_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm SMT Term}'. * * * @return the meta object for class 'SMT Term'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm * @generated */ EClass getSMTTerm(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration SMT Symbolic Declaration}'. * * * @return the meta object for class 'SMT Symbolic Declaration'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration * @generated */ EClass getSMTSymbolicDeclaration(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration#getName() * @see #getSMTSymbolicDeclaration() * @generated */ EAttribute getSMTSymbolicDeclaration_Name(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue SMT Symbolic Value}'. * * * @return the meta object for class 'SMT Symbolic Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue * @generated */ EClass getSMTSymbolicValue(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference Symbolic Reference}'. * * * @return the meta object for the reference 'Symbolic Reference'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference() * @see #getSMTSymbolicValue() * @generated */ EReference getSMTSymbolicValue_SymbolicReference(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getParameterSubstitutions Parameter Substitutions}'. * * * @return the meta object for the containment reference list 'Parameter Substitutions'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getParameterSubstitutions() * @see #getSMTSymbolicValue() * @generated */ EReference getSMTSymbolicValue_ParameterSubstitutions(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAtomicTerm SMT Atomic Term}'. * * * @return the meta object for class 'SMT Atomic Term'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAtomicTerm * @generated */ EClass getSMTAtomicTerm(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral SMT Int Literal}'. * * * @return the meta object for class 'SMT Int Literal'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral * @generated */ EClass getSMTIntLiteral(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral#getValue() * @see #getSMTIntLiteral() * @generated */ EAttribute getSMTIntLiteral_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral SMT Bool Literal}'. * * * @return the meta object for class 'SMT Bool Literal'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral * @generated */ EClass getSMTBoolLiteral(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral#isValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral#isValue() * @see #getSMTBoolLiteral() * @generated */ EAttribute getSMTBoolLiteral_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral SMT Real Literal}'. * * * @return the meta object for class 'SMT Real Literal'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral * @generated */ EClass getSMTRealLiteral(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral#getValue() * @see #getSMTRealLiteral() * @generated */ EAttribute getSMTRealLiteral_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable SMT Sorted Variable}'. * * * @return the meta object for class 'SMT Sorted Variable'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable * @generated */ EClass getSMTSortedVariable(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable#getRange Range}'. * * * @return the meta object for the containment reference 'Range'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable#getRange() * @see #getSMTSortedVariable() * @generated */ EReference getSMTSortedVariable_Range(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression SMT Quantified Expression}'. * * * @return the meta object for class 'SMT Quantified Expression'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression * @generated */ EClass getSMTQuantifiedExpression(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getQuantifiedVariables Quantified Variables}'. * * * @return the meta object for the containment reference list 'Quantified Variables'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getQuantifiedVariables() * @see #getSMTQuantifiedExpression() * @generated */ EReference getSMTQuantifiedExpression_QuantifiedVariables(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getExpression Expression}'. * * * @return the meta object for the containment reference 'Expression'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getExpression() * @see #getSMTQuantifiedExpression() * @generated */ EReference getSMTQuantifiedExpression_Expression(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getPattern Pattern}'. * * * @return the meta object for the containment reference 'Pattern'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getPattern() * @see #getSMTQuantifiedExpression() * @generated */ EReference getSMTQuantifiedExpression_Pattern(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTExists SMT Exists}'. * * * @return the meta object for class 'SMT Exists'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTExists * @generated */ EClass getSMTExists(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTForall SMT Forall}'. * * * @return the meta object for class 'SMT Forall'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTForall * @generated */ EClass getSMTForall(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolOperation SMT Bool Operation}'. * * * @return the meta object for class 'SMT Bool Operation'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolOperation * @generated */ EClass getSMTBoolOperation(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd SMT And}'. * * * @return the meta object for class 'SMT And'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd * @generated */ EClass getSMTAnd(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd#getOperands Operands}'. * * * @return the meta object for the containment reference list 'Operands'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd#getOperands() * @see #getSMTAnd() * @generated */ EReference getSMTAnd_Operands(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr SMT Or}'. * * * @return the meta object for class 'SMT Or'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr * @generated */ EClass getSMTOr(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr#getOperands Operands}'. * * * @return the meta object for the containment reference list 'Operands'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr#getOperands() * @see #getSMTOr() * @generated */ EReference getSMTOr_Operands(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl SMT Impl}'. * * * @return the meta object for class 'SMT Impl'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl * @generated */ EClass getSMTImpl(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getLeftOperand() * @see #getSMTImpl() * @generated */ EReference getSMTImpl_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getRightOperand() * @see #getSMTImpl() * @generated */ EReference getSMTImpl_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot SMT Not}'. * * * @return the meta object for class 'SMT Not'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot * @generated */ EClass getSMTNot(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot#getOperand Operand}'. * * * @return the meta object for the containment reference 'Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot#getOperand() * @see #getSMTNot() * @generated */ EReference getSMTNot_Operand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff SMT Iff}'. * * * @return the meta object for class 'SMT Iff'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff * @generated */ EClass getSMTIff(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getLeftOperand() * @see #getSMTIff() * @generated */ EReference getSMTIff_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getRightOperand() * @see #getSMTIff() * @generated */ EReference getSMTIff_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE SMTITE}'. * * * @return the meta object for class 'SMTITE'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE * @generated */ EClass getSMTITE(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition Condition}'. * * * @return the meta object for the containment reference 'Condition'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition() * @see #getSMTITE() * @generated */ EReference getSMTITE_Condition(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf If}'. * * * @return the meta object for the containment reference 'If'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf() * @see #getSMTITE() * @generated */ EReference getSMTITE_If(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse Else}'. * * * @return the meta object for the containment reference 'Else'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse() * @see #getSMTITE() * @generated */ EReference getSMTITE_Else(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet SMT Let}'. * * * @return the meta object for class 'SMT Let'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet * @generated */ EClass getSMTLet(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getInlineConstantDefinitions Inline Constant Definitions}'. * * * @return the meta object for the containment reference list 'Inline Constant Definitions'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getInlineConstantDefinitions() * @see #getSMTLet() * @generated */ EReference getSMTLet_InlineConstantDefinitions(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getTerm Term}'. * * * @return the meta object for the containment reference 'Term'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getTerm() * @see #getSMTLet() * @generated */ EReference getSMTLet_Term(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition SMT Inline Constant Definition}'. * * * @return the meta object for class 'SMT Inline Constant Definition'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition * @generated */ EClass getSMTInlineConstantDefinition(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition#getDefinition Definition}'. * * * @return the meta object for the containment reference 'Definition'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition#getDefinition() * @see #getSMTInlineConstantDefinition() * @generated */ EReference getSMTInlineConstantDefinition_Definition(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRelation SMT Relation}'. * * * @return the meta object for class 'SMT Relation'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRelation * @generated */ EClass getSMTRelation(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals SMT Equals}'. * * * @return the meta object for class 'SMT Equals'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals * @generated */ EClass getSMTEquals(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getLeftOperand() * @see #getSMTEquals() * @generated */ EReference getSMTEquals_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getRightOperand() * @see #getSMTEquals() * @generated */ EReference getSMTEquals_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct SMT Distinct}'. * * * @return the meta object for class 'SMT Distinct'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct * @generated */ EClass getSMTDistinct(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct#getOperands Operands}'. * * * @return the meta object for the containment reference list 'Operands'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct#getOperands() * @see #getSMTDistinct() * @generated */ EReference getSMTDistinct_Operands(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT SMTLT}'. * * * @return the meta object for class 'SMTLT'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT * @generated */ EClass getSMTLT(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getLeftOperand() * @see #getSMTLT() * @generated */ EReference getSMTLT_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getRightOperand() * @see #getSMTLT() * @generated */ EReference getSMTLT_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT SMTMT}'. * * * @return the meta object for class 'SMTMT'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT * @generated */ EClass getSMTMT(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getLeftOperand() * @see #getSMTMT() * @generated */ EReference getSMTMT_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getRightOperand() * @see #getSMTMT() * @generated */ EReference getSMTMT_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ SMTLEQ}'. * * * @return the meta object for class 'SMTLEQ'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ * @generated */ EClass getSMTLEQ(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getLeftOperand() * @see #getSMTLEQ() * @generated */ EReference getSMTLEQ_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getRightOperand() * @see #getSMTLEQ() * @generated */ EReference getSMTLEQ_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ SMTMEQ}'. * * * @return the meta object for class 'SMTMEQ'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ * @generated */ EClass getSMTMEQ(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getLeftOperand() * @see #getSMTMEQ() * @generated */ EReference getSMTMEQ_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getRightOperand() * @see #getSMTMEQ() * @generated */ EReference getSMTMEQ_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation SMT Int Operation}'. * * * @return the meta object for class 'SMT Int Operation'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation * @generated */ EClass getSMTIntOperation(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getLeftOperand() * @see #getSMTIntOperation() * @generated */ EReference getSMTIntOperation_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getRightOperand() * @see #getSMTIntOperation() * @generated */ EReference getSMTIntOperation_RightOperand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPlus SMT Plus}'. * * * @return the meta object for class 'SMT Plus'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPlus * @generated */ EClass getSMTPlus(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMinus SMT Minus}'. * * * @return the meta object for class 'SMT Minus'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMinus * @generated */ EClass getSMTMinus(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMultiply SMT Multiply}'. * * * @return the meta object for class 'SMT Multiply'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMultiply * @generated */ EClass getSMTMultiply(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDivison SMT Divison}'. * * * @return the meta object for class 'SMT Divison'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDivison * @generated */ EClass getSMTDivison(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDiv SMT Div}'. * * * @return the meta object for class 'SMT Div'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDiv * @generated */ EClass getSMTDiv(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMod SMT Mod}'. * * * @return the meta object for class 'SMT Mod'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMod * @generated */ EClass getSMTMod(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion SMT Assertion}'. * * * @return the meta object for class 'SMT Assertion'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion * @generated */ EClass getSMTAssertion(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion#getValue Value}'. * * * @return the meta object for the containment reference 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion#getValue() * @see #getSMTAssertion() * @generated */ EReference getSMTAssertion_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint SMT Cardinality Constraint}'. * * * @return the meta object for class 'SMT Cardinality Constraint'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint * @generated */ EClass getSMTCardinalityConstraint(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getType Type}'. * * * @return the meta object for the containment reference 'Type'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getType() * @see #getSMTCardinalityConstraint() * @generated */ EReference getSMTCardinalityConstraint_Type(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getElements Elements}'. * * * @return the meta object for the containment reference list 'Elements'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getElements() * @see #getSMTCardinalityConstraint() * @generated */ EReference getSMTCardinalityConstraint_Elements(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatCommand SMT Sat Command}'. * * * @return the meta object for class 'SMT Sat Command'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatCommand * @generated */ EClass getSMTSatCommand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSimpleSatCommand SMT Simple Sat Command}'. * * * @return the meta object for class 'SMT Simple Sat Command'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSimpleSatCommand * @generated */ EClass getSMTSimpleSatCommand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand SMT Complex Sat Command}'. * * * @return the meta object for class 'SMT Complex Sat Command'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand * @generated */ EClass getSMTComplexSatCommand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand#getMethod Method}'. * * * @return the meta object for the containment reference 'Method'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand#getMethod() * @see #getSMTComplexSatCommand() * @generated */ EReference getSMTComplexSatCommand_Method(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTGetModelCommand SMT Get Model Command}'. * * * @return the meta object for class 'SMT Get Model Command'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTGetModelCommand * @generated */ EClass getSMTGetModelCommand(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic SMT Reasoning Tactic}'. * * * @return the meta object for class 'SMT Reasoning Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic * @generated */ EClass getSMTReasoningTactic(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic SMT Builtin Tactic}'. * * * @return the meta object for class 'SMT Builtin Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic * @generated */ EClass getSMTBuiltinTactic(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic#getName() * @see #getSMTBuiltinTactic() * @generated */ EAttribute getSMTBuiltinTactic_Name(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningCombinator SMT Reasoning Combinator}'. * * * @return the meta object for class 'SMT Reasoning Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningCombinator * @generated */ EClass getSMTReasoningCombinator(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator SMT And Then Combinator}'. * * * @return the meta object for class 'SMT And Then Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator * @generated */ EClass getSMTAndThenCombinator(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator#getTactics Tactics}'. * * * @return the meta object for the containment reference list 'Tactics'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator#getTactics() * @see #getSMTAndThenCombinator() * @generated */ EReference getSMTAndThenCombinator_Tactics(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator SMT Or Else Combinator}'. * * * @return the meta object for class 'SMT Or Else Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator * @generated */ EClass getSMTOrElseCombinator(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator#getTactics Tactics}'. * * * @return the meta object for the containment reference list 'Tactics'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator#getTactics() * @see #getSMTOrElseCombinator() * @generated */ EReference getSMTOrElseCombinator_Tactics(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator SMT Par Or Combinator}'. * * * @return the meta object for class 'SMT Par Or Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator * @generated */ EClass getSMTParOrCombinator(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator#getTactics Tactics}'. * * * @return the meta object for the containment reference list 'Tactics'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator#getTactics() * @see #getSMTParOrCombinator() * @generated */ EReference getSMTParOrCombinator_Tactics(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator SMT Par Then Combinator}'. * * * @return the meta object for class 'SMT Par Then Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator * @generated */ EClass getSMTParThenCombinator(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getPreProcessingTactic Pre Processing Tactic}'. * * * @return the meta object for the containment reference 'Pre Processing Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getPreProcessingTactic() * @see #getSMTParThenCombinator() * @generated */ EReference getSMTParThenCombinator_PreProcessingTactic(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getParalellyPostpricessingTactic Paralelly Postpricessing Tactic}'. * * * @return the meta object for the containment reference 'Paralelly Postpricessing Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getParalellyPostpricessingTactic() * @see #getSMTParThenCombinator() * @generated */ EReference getSMTParThenCombinator_ParalellyPostpricessingTactic(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator SMT Try For Combinator}'. * * * @return the meta object for class 'SMT Try For Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator * @generated */ EClass getSMTTryForCombinator(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTactic Tactic}'. * * * @return the meta object for the containment reference 'Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTactic() * @see #getSMTTryForCombinator() * @generated */ EReference getSMTTryForCombinator_Tactic(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTime Time}'. * * * @return the meta object for the attribute 'Time'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTime() * @see #getSMTTryForCombinator() * @generated */ EAttribute getSMTTryForCombinator_Time(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator SMT If Combinator}'. * * * @return the meta object for class 'SMT If Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator * @generated */ EClass getSMTIfCombinator(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getProbe Probe}'. * * * @return the meta object for the containment reference 'Probe'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getProbe() * @see #getSMTIfCombinator() * @generated */ EReference getSMTIfCombinator_Probe(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic If Tactic}'. * * * @return the meta object for the containment reference 'If Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic() * @see #getSMTIfCombinator() * @generated */ EReference getSMTIfCombinator_IfTactic(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic Else Tactic}'. * * * @return the meta object for the containment reference 'Else Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic() * @see #getSMTIfCombinator() * @generated */ EReference getSMTIfCombinator_ElseTactic(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator SMT When Combinator}'. * * * @return the meta object for class 'SMT When Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator * @generated */ EClass getSMTWhenCombinator(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getProbe Probe}'. * * * @return the meta object for the containment reference 'Probe'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getProbe() * @see #getSMTWhenCombinator() * @generated */ EReference getSMTWhenCombinator_Probe(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getTactic Tactic}'. * * * @return the meta object for the containment reference 'Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getTactic() * @see #getSMTWhenCombinator() * @generated */ EReference getSMTWhenCombinator_Tactic(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator SMT Fail If Combinator}'. * * * @return the meta object for class 'SMT Fail If Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator * @generated */ EClass getSMTFailIfCombinator(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator#getProbe Probe}'. * * * @return the meta object for the containment reference 'Probe'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator#getProbe() * @see #getSMTFailIfCombinator() * @generated */ EReference getSMTFailIfCombinator_Probe(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator SMT Using Param Combinator}'. * * * @return the meta object for class 'SMT Using Param Combinator'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator * @generated */ EClass getSMTUsingParamCombinator(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getTactic Tactic}'. * * * @return the meta object for the containment reference 'Tactic'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getTactic() * @see #getSMTUsingParamCombinator() * @generated */ EReference getSMTUsingParamCombinator_Tactic(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getParameters Parameters}'. * * * @return the meta object for the containment reference list 'Parameters'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getParameters() * @see #getSMTUsingParamCombinator() * @generated */ EReference getSMTUsingParamCombinator_Parameters(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe Reasoning Probe}'. * * * @return the meta object for class 'Reasoning Probe'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe * @generated */ EClass getReasoningProbe(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe#getName() * @see #getReasoningProbe() * @generated */ EAttribute getReasoningProbe_Name(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter Reasoning Tactic Parameter}'. * * * @return the meta object for class 'Reasoning Tactic Parameter'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter * @generated */ EClass getReasoningTacticParameter(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getName() * @see #getReasoningTacticParameter() * @generated */ EAttribute getReasoningTacticParameter_Name(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getValue Value}'. * * * @return the meta object for the containment reference 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getValue() * @see #getReasoningTacticParameter() * @generated */ EReference getReasoningTacticParameter_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTResult SMT Result}'. * * * @return the meta object for class 'SMT Result'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTResult * @generated */ EClass getSMTResult(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult SMT Error Result}'. * * * @return the meta object for class 'SMT Error Result'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult * @generated */ EClass getSMTErrorResult(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult#getMessage Message}'. * * * @return the meta object for the attribute 'Message'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult#getMessage() * @see #getSMTErrorResult() * @generated */ EAttribute getSMTErrorResult_Message(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult SMT Unsupported Result}'. * * * @return the meta object for class 'SMT Unsupported Result'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult * @generated */ EClass getSMTUnsupportedResult(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult#getCommand Command}'. * * * @return the meta object for the attribute 'Command'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult#getCommand() * @see #getSMTUnsupportedResult() * @generated */ EAttribute getSMTUnsupportedResult_Command(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult SMT Sat Result}'. * * * @return the meta object for class 'SMT Sat Result'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult * @generated */ EClass getSMTSatResult(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isSat Sat}'. * * * @return the meta object for the attribute 'Sat'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isSat() * @see #getSMTSatResult() * @generated */ EAttribute getSMTSatResult_Sat(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnsat Unsat}'. * * * @return the meta object for the attribute 'Unsat'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnsat() * @see #getSMTSatResult() * @generated */ EAttribute getSMTSatResult_Unsat(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnknown Unknown}'. * * * @return the meta object for the attribute 'Unknown'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnknown() * @see #getSMTSatResult() * @generated */ EAttribute getSMTSatResult_Unknown(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult SMT Model Result}'. * * * @return the meta object for class 'SMT Model Result'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult * @generated */ EClass getSMTModelResult(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDeclarations New Function Declarations}'. * * * @return the meta object for the containment reference list 'New Function Declarations'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDeclarations() * @see #getSMTModelResult() * @generated */ EReference getSMTModelResult_NewFunctionDeclarations(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getTypeDefinitions Type Definitions}'. * * * @return the meta object for the containment reference list 'Type Definitions'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getTypeDefinitions() * @see #getSMTModelResult() * @generated */ EReference getSMTModelResult_TypeDefinitions(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDefinitions New Function Definitions}'. * * * @return the meta object for the containment reference list 'New Function Definitions'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDefinitions() * @see #getSMTModelResult() * @generated */ EReference getSMTModelResult_NewFunctionDefinitions(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue SMT Statistic Value}'. * * * @return the meta object for class 'SMT Statistic Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue * @generated */ EClass getSMTStatisticValue(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue#getName() * @see #getSMTStatisticValue() * @generated */ EAttribute getSMTStatisticValue_Name(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue SMT Statistic Int Value}'. * * * @return the meta object for class 'SMT Statistic Int Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue * @generated */ EClass getSMTStatisticIntValue(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue#getValue() * @see #getSMTStatisticIntValue() * @generated */ EAttribute getSMTStatisticIntValue_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue SMT Statistic Double Value}'. * * * @return the meta object for class 'SMT Statistic Double Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue * @generated */ EClass getSMTStatisticDoubleValue(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue#getValue() * @see #getSMTStatisticDoubleValue() * @generated */ EAttribute getSMTStatisticDoubleValue_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection SMT Statistics Section}'. * * * @return the meta object for class 'SMT Statistics Section'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection * @generated */ EClass getSMTStatisticsSection(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection#getValues Values}'. * * * @return the meta object for the containment reference list 'Values'. * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection#getValues() * @see #getSMTStatisticsSection() * @generated */ EReference getSMTStatisticsSection_Values(); /** * Returns the factory that creates the instances of the model. * * * @return the factory that creates the instances of the model. * @generated */ SmtLanguageFactory getSmtLanguageFactory(); /** * * Defines literals for the meta objects that represent * * * @generated */ interface Literals { /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl SMT Document}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDocument() * @generated */ EClass SMT_DOCUMENT = eINSTANCE.getSMTDocument(); /** * The meta object literal for the 'Input' containment reference feature. * * * @generated */ EReference SMT_DOCUMENT__INPUT = eINSTANCE.getSMTDocument_Input(); /** * The meta object literal for the 'Output' containment reference feature. * * * @generated */ EReference SMT_DOCUMENT__OUTPUT = eINSTANCE.getSMTDocument_Output(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl SMT Input}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInput() * @generated */ EClass SMT_INPUT = eINSTANCE.getSMTInput(); /** * The meta object literal for the 'Options' containment reference list feature. * * * @generated */ EReference SMT_INPUT__OPTIONS = eINSTANCE.getSMTInput_Options(); /** * The meta object literal for the 'Type Declarations' containment reference list feature. * * * @generated */ EReference SMT_INPUT__TYPE_DECLARATIONS = eINSTANCE.getSMTInput_TypeDeclarations(); /** * The meta object literal for the 'Function Declarations' containment reference list feature. * * * @generated */ EReference SMT_INPUT__FUNCTION_DECLARATIONS = eINSTANCE.getSMTInput_FunctionDeclarations(); /** * The meta object literal for the 'Function Definition' containment reference list feature. * * * @generated */ EReference SMT_INPUT__FUNCTION_DEFINITION = eINSTANCE.getSMTInput_FunctionDefinition(); /** * The meta object literal for the 'Assertions' containment reference list feature. * * * @generated */ EReference SMT_INPUT__ASSERTIONS = eINSTANCE.getSMTInput_Assertions(); /** * The meta object literal for the 'Sat Command' containment reference feature. * * * @generated */ EReference SMT_INPUT__SAT_COMMAND = eINSTANCE.getSMTInput_SatCommand(); /** * The meta object literal for the 'Get Model Command' containment reference feature. * * * @generated */ EReference SMT_INPUT__GET_MODEL_COMMAND = eINSTANCE.getSMTInput_GetModelCommand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl SMT Output}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOutput() * @generated */ EClass SMT_OUTPUT = eINSTANCE.getSMTOutput(); /** * The meta object literal for the 'Sat Result' containment reference feature. * * * @generated */ EReference SMT_OUTPUT__SAT_RESULT = eINSTANCE.getSMTOutput_SatResult(); /** * The meta object literal for the 'Get Model Result' containment reference feature. * * * @generated */ EReference SMT_OUTPUT__GET_MODEL_RESULT = eINSTANCE.getSMTOutput_GetModelResult(); /** * The meta object literal for the 'Statistics' containment reference feature. * * * @generated */ EReference SMT_OUTPUT__STATISTICS = eINSTANCE.getSMTOutput_Statistics(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl SMT Option}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOption() * @generated */ EClass SMT_OPTION = eINSTANCE.getSMTOption(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute SMT_OPTION__NAME = eINSTANCE.getSMTOption_Name(); /** * The meta object literal for the 'Value' containment reference feature. * * * @generated */ EReference SMT_OPTION__VALUE = eINSTANCE.getSMTOption_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl SMT Type}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTType() * @generated */ EClass SMT_TYPE = eINSTANCE.getSMTType(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute SMT_TYPE__NAME = eINSTANCE.getSMTType_Name(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl SMT Enum Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumLiteral() * @generated */ EClass SMT_ENUM_LITERAL = eINSTANCE.getSMTEnumLiteral(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl SMT Enumerated Type Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumeratedTypeDeclaration() * @generated */ EClass SMT_ENUMERATED_TYPE_DECLARATION = eINSTANCE.getSMTEnumeratedTypeDeclaration(); /** * The meta object literal for the 'Elements' containment reference list feature. * * * @generated */ EReference SMT_ENUMERATED_TYPE_DECLARATION__ELEMENTS = eINSTANCE.getSMTEnumeratedTypeDeclaration_Elements(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl SMT Set Type Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSetTypeDeclaration() * @generated */ EClass SMT_SET_TYPE_DECLARATION = eINSTANCE.getSMTSetTypeDeclaration(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl SMT Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTypeReference() * @generated */ EClass SMT_TYPE_REFERENCE = eINSTANCE.getSMTTypeReference(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl SMT Complex Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexTypeReference() * @generated */ EClass SMT_COMPLEX_TYPE_REFERENCE = eINSTANCE.getSMTComplexTypeReference(); /** * The meta object literal for the 'Referred' reference feature. * * * @generated */ EReference SMT_COMPLEX_TYPE_REFERENCE__REFERRED = eINSTANCE.getSMTComplexTypeReference_Referred(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl SMT Primitive Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPrimitiveTypeReference() * @generated */ EClass SMT_PRIMITIVE_TYPE_REFERENCE = eINSTANCE.getSMTPrimitiveTypeReference(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl SMT Int Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntTypeReference() * @generated */ EClass SMT_INT_TYPE_REFERENCE = eINSTANCE.getSMTIntTypeReference(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl SMT Bool Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolTypeReference() * @generated */ EClass SMT_BOOL_TYPE_REFERENCE = eINSTANCE.getSMTBoolTypeReference(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl SMT Real Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealTypeReference() * @generated */ EClass SMT_REAL_TYPE_REFERENCE = eINSTANCE.getSMTRealTypeReference(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl SMT Function Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDeclaration() * @generated */ EClass SMT_FUNCTION_DECLARATION = eINSTANCE.getSMTFunctionDeclaration(); /** * The meta object literal for the 'Parameters' containment reference list feature. * * * @generated */ EReference SMT_FUNCTION_DECLARATION__PARAMETERS = eINSTANCE.getSMTFunctionDeclaration_Parameters(); /** * The meta object literal for the 'Range' containment reference feature. * * * @generated */ EReference SMT_FUNCTION_DECLARATION__RANGE = eINSTANCE.getSMTFunctionDeclaration_Range(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl SMT Function Definition}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDefinition() * @generated */ EClass SMT_FUNCTION_DEFINITION = eINSTANCE.getSMTFunctionDefinition(); /** * The meta object literal for the 'Parameters' containment reference list feature. * * * @generated */ EReference SMT_FUNCTION_DEFINITION__PARAMETERS = eINSTANCE.getSMTFunctionDefinition_Parameters(); /** * The meta object literal for the 'Range' containment reference feature. * * * @generated */ EReference SMT_FUNCTION_DEFINITION__RANGE = eINSTANCE.getSMTFunctionDefinition_Range(); /** * The meta object literal for the 'Value' containment reference feature. * * * @generated */ EReference SMT_FUNCTION_DEFINITION__VALUE = eINSTANCE.getSMTFunctionDefinition_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl SMT Term}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTerm() * @generated */ EClass SMT_TERM = eINSTANCE.getSMTTerm(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl SMT Symbolic Declaration}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicDeclaration() * @generated */ EClass SMT_SYMBOLIC_DECLARATION = eINSTANCE.getSMTSymbolicDeclaration(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute SMT_SYMBOLIC_DECLARATION__NAME = eINSTANCE.getSMTSymbolicDeclaration_Name(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl SMT Symbolic Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicValue() * @generated */ EClass SMT_SYMBOLIC_VALUE = eINSTANCE.getSMTSymbolicValue(); /** * The meta object literal for the 'Symbolic Reference' reference feature. * * * @generated */ EReference SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = eINSTANCE.getSMTSymbolicValue_SymbolicReference(); /** * The meta object literal for the 'Parameter Substitutions' containment reference list feature. * * * @generated */ EReference SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = eINSTANCE.getSMTSymbolicValue_ParameterSubstitutions(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl SMT Atomic Term}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAtomicTerm() * @generated */ EClass SMT_ATOMIC_TERM = eINSTANCE.getSMTAtomicTerm(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl SMT Int Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntLiteral() * @generated */ EClass SMT_INT_LITERAL = eINSTANCE.getSMTIntLiteral(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute SMT_INT_LITERAL__VALUE = eINSTANCE.getSMTIntLiteral_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl SMT Bool Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolLiteral() * @generated */ EClass SMT_BOOL_LITERAL = eINSTANCE.getSMTBoolLiteral(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute SMT_BOOL_LITERAL__VALUE = eINSTANCE.getSMTBoolLiteral_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl SMT Real Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealLiteral() * @generated */ EClass SMT_REAL_LITERAL = eINSTANCE.getSMTRealLiteral(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute SMT_REAL_LITERAL__VALUE = eINSTANCE.getSMTRealLiteral_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl SMT Sorted Variable}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSortedVariable() * @generated */ EClass SMT_SORTED_VARIABLE = eINSTANCE.getSMTSortedVariable(); /** * The meta object literal for the 'Range' containment reference feature. * * * @generated */ EReference SMT_SORTED_VARIABLE__RANGE = eINSTANCE.getSMTSortedVariable_Range(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl SMT Quantified Expression}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTQuantifiedExpression() * @generated */ EClass SMT_QUANTIFIED_EXPRESSION = eINSTANCE.getSMTQuantifiedExpression(); /** * The meta object literal for the 'Quantified Variables' containment reference list feature. * * * @generated */ EReference SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = eINSTANCE.getSMTQuantifiedExpression_QuantifiedVariables(); /** * The meta object literal for the 'Expression' containment reference feature. * * * @generated */ EReference SMT_QUANTIFIED_EXPRESSION__EXPRESSION = eINSTANCE.getSMTQuantifiedExpression_Expression(); /** * The meta object literal for the 'Pattern' containment reference feature. * * * @generated */ EReference SMT_QUANTIFIED_EXPRESSION__PATTERN = eINSTANCE.getSMTQuantifiedExpression_Pattern(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl SMT Exists}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTExists() * @generated */ EClass SMT_EXISTS = eINSTANCE.getSMTExists(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl SMT Forall}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTForall() * @generated */ EClass SMT_FORALL = eINSTANCE.getSMTForall(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl SMT Bool Operation}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolOperation() * @generated */ EClass SMT_BOOL_OPERATION = eINSTANCE.getSMTBoolOperation(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl SMT And}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAnd() * @generated */ EClass SMT_AND = eINSTANCE.getSMTAnd(); /** * The meta object literal for the 'Operands' containment reference list feature. * * * @generated */ EReference SMT_AND__OPERANDS = eINSTANCE.getSMTAnd_Operands(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl SMT Or}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOr() * @generated */ EClass SMT_OR = eINSTANCE.getSMTOr(); /** * The meta object literal for the 'Operands' containment reference list feature. * * * @generated */ EReference SMT_OR__OPERANDS = eINSTANCE.getSMTOr_Operands(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl SMT Impl}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTImpl() * @generated */ EClass SMT_IMPL = eINSTANCE.getSMTImpl(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMT_IMPL__LEFT_OPERAND = eINSTANCE.getSMTImpl_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMT_IMPL__RIGHT_OPERAND = eINSTANCE.getSMTImpl_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl SMT Not}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTNot() * @generated */ EClass SMT_NOT = eINSTANCE.getSMTNot(); /** * The meta object literal for the 'Operand' containment reference feature. * * * @generated */ EReference SMT_NOT__OPERAND = eINSTANCE.getSMTNot_Operand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl SMT Iff}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIff() * @generated */ EClass SMT_IFF = eINSTANCE.getSMTIff(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMT_IFF__LEFT_OPERAND = eINSTANCE.getSMTIff_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMT_IFF__RIGHT_OPERAND = eINSTANCE.getSMTIff_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl SMTITE}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTITE() * @generated */ EClass SMTITE = eINSTANCE.getSMTITE(); /** * The meta object literal for the 'Condition' containment reference feature. * * * @generated */ EReference SMTITE__CONDITION = eINSTANCE.getSMTITE_Condition(); /** * The meta object literal for the 'If' containment reference feature. * * * @generated */ EReference SMTITE__IF = eINSTANCE.getSMTITE_If(); /** * The meta object literal for the 'Else' containment reference feature. * * * @generated */ EReference SMTITE__ELSE = eINSTANCE.getSMTITE_Else(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl SMT Let}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLet() * @generated */ EClass SMT_LET = eINSTANCE.getSMTLet(); /** * The meta object literal for the 'Inline Constant Definitions' containment reference list feature. * * * @generated */ EReference SMT_LET__INLINE_CONSTANT_DEFINITIONS = eINSTANCE.getSMTLet_InlineConstantDefinitions(); /** * The meta object literal for the 'Term' containment reference feature. * * * @generated */ EReference SMT_LET__TERM = eINSTANCE.getSMTLet_Term(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl SMT Inline Constant Definition}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInlineConstantDefinition() * @generated */ EClass SMT_INLINE_CONSTANT_DEFINITION = eINSTANCE.getSMTInlineConstantDefinition(); /** * The meta object literal for the 'Definition' containment reference feature. * * * @generated */ EReference SMT_INLINE_CONSTANT_DEFINITION__DEFINITION = eINSTANCE.getSMTInlineConstantDefinition_Definition(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl SMT Relation}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRelation() * @generated */ EClass SMT_RELATION = eINSTANCE.getSMTRelation(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl SMT Equals}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEquals() * @generated */ EClass SMT_EQUALS = eINSTANCE.getSMTEquals(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMT_EQUALS__LEFT_OPERAND = eINSTANCE.getSMTEquals_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMT_EQUALS__RIGHT_OPERAND = eINSTANCE.getSMTEquals_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl SMT Distinct}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDistinct() * @generated */ EClass SMT_DISTINCT = eINSTANCE.getSMTDistinct(); /** * The meta object literal for the 'Operands' containment reference list feature. * * * @generated */ EReference SMT_DISTINCT__OPERANDS = eINSTANCE.getSMTDistinct_Operands(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl SMTLT}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLT() * @generated */ EClass SMTLT = eINSTANCE.getSMTLT(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMTLT__LEFT_OPERAND = eINSTANCE.getSMTLT_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMTLT__RIGHT_OPERAND = eINSTANCE.getSMTLT_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl SMTMT}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMT() * @generated */ EClass SMTMT = eINSTANCE.getSMTMT(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMTMT__LEFT_OPERAND = eINSTANCE.getSMTMT_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMTMT__RIGHT_OPERAND = eINSTANCE.getSMTMT_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl SMTLEQ}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLEQ() * @generated */ EClass SMTLEQ = eINSTANCE.getSMTLEQ(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMTLEQ__LEFT_OPERAND = eINSTANCE.getSMTLEQ_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMTLEQ__RIGHT_OPERAND = eINSTANCE.getSMTLEQ_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl SMTMEQ}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMEQ() * @generated */ EClass SMTMEQ = eINSTANCE.getSMTMEQ(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMTMEQ__LEFT_OPERAND = eINSTANCE.getSMTMEQ_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMTMEQ__RIGHT_OPERAND = eINSTANCE.getSMTMEQ_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl SMT Int Operation}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntOperation() * @generated */ EClass SMT_INT_OPERATION = eINSTANCE.getSMTIntOperation(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference SMT_INT_OPERATION__LEFT_OPERAND = eINSTANCE.getSMTIntOperation_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference SMT_INT_OPERATION__RIGHT_OPERAND = eINSTANCE.getSMTIntOperation_RightOperand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl SMT Plus}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPlus() * @generated */ EClass SMT_PLUS = eINSTANCE.getSMTPlus(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl SMT Minus}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMinus() * @generated */ EClass SMT_MINUS = eINSTANCE.getSMTMinus(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl SMT Multiply}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMultiply() * @generated */ EClass SMT_MULTIPLY = eINSTANCE.getSMTMultiply(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl SMT Divison}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDivison() * @generated */ EClass SMT_DIVISON = eINSTANCE.getSMTDivison(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl SMT Div}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDiv() * @generated */ EClass SMT_DIV = eINSTANCE.getSMTDiv(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl SMT Mod}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMod() * @generated */ EClass SMT_MOD = eINSTANCE.getSMTMod(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl SMT Assertion}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAssertion() * @generated */ EClass SMT_ASSERTION = eINSTANCE.getSMTAssertion(); /** * The meta object literal for the 'Value' containment reference feature. * * * @generated */ EReference SMT_ASSERTION__VALUE = eINSTANCE.getSMTAssertion_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl SMT Cardinality Constraint}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTCardinalityConstraint() * @generated */ EClass SMT_CARDINALITY_CONSTRAINT = eINSTANCE.getSMTCardinalityConstraint(); /** * The meta object literal for the 'Type' containment reference feature. * * * @generated */ EReference SMT_CARDINALITY_CONSTRAINT__TYPE = eINSTANCE.getSMTCardinalityConstraint_Type(); /** * The meta object literal for the 'Elements' containment reference list feature. * * * @generated */ EReference SMT_CARDINALITY_CONSTRAINT__ELEMENTS = eINSTANCE.getSMTCardinalityConstraint_Elements(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl SMT Sat Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatCommand() * @generated */ EClass SMT_SAT_COMMAND = eINSTANCE.getSMTSatCommand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl SMT Simple Sat Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSimpleSatCommand() * @generated */ EClass SMT_SIMPLE_SAT_COMMAND = eINSTANCE.getSMTSimpleSatCommand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl SMT Complex Sat Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexSatCommand() * @generated */ EClass SMT_COMPLEX_SAT_COMMAND = eINSTANCE.getSMTComplexSatCommand(); /** * The meta object literal for the 'Method' containment reference feature. * * * @generated */ EReference SMT_COMPLEX_SAT_COMMAND__METHOD = eINSTANCE.getSMTComplexSatCommand_Method(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl SMT Get Model Command}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTGetModelCommand() * @generated */ EClass SMT_GET_MODEL_COMMAND = eINSTANCE.getSMTGetModelCommand(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl SMT Reasoning Tactic}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningTactic() * @generated */ EClass SMT_REASONING_TACTIC = eINSTANCE.getSMTReasoningTactic(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl SMT Builtin Tactic}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBuiltinTactic() * @generated */ EClass SMT_BUILTIN_TACTIC = eINSTANCE.getSMTBuiltinTactic(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute SMT_BUILTIN_TACTIC__NAME = eINSTANCE.getSMTBuiltinTactic_Name(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl SMT Reasoning Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningCombinator() * @generated */ EClass SMT_REASONING_COMBINATOR = eINSTANCE.getSMTReasoningCombinator(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl SMT And Then Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAndThenCombinator() * @generated */ EClass SMT_AND_THEN_COMBINATOR = eINSTANCE.getSMTAndThenCombinator(); /** * The meta object literal for the 'Tactics' containment reference list feature. * * * @generated */ EReference SMT_AND_THEN_COMBINATOR__TACTICS = eINSTANCE.getSMTAndThenCombinator_Tactics(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl SMT Or Else Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOrElseCombinator() * @generated */ EClass SMT_OR_ELSE_COMBINATOR = eINSTANCE.getSMTOrElseCombinator(); /** * The meta object literal for the 'Tactics' containment reference list feature. * * * @generated */ EReference SMT_OR_ELSE_COMBINATOR__TACTICS = eINSTANCE.getSMTOrElseCombinator_Tactics(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl SMT Par Or Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParOrCombinator() * @generated */ EClass SMT_PAR_OR_COMBINATOR = eINSTANCE.getSMTParOrCombinator(); /** * The meta object literal for the 'Tactics' containment reference list feature. * * * @generated */ EReference SMT_PAR_OR_COMBINATOR__TACTICS = eINSTANCE.getSMTParOrCombinator_Tactics(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl SMT Par Then Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParThenCombinator() * @generated */ EClass SMT_PAR_THEN_COMBINATOR = eINSTANCE.getSMTParThenCombinator(); /** * The meta object literal for the 'Pre Processing Tactic' containment reference feature. * * * @generated */ EReference SMT_PAR_THEN_COMBINATOR__PRE_PROCESSING_TACTIC = eINSTANCE.getSMTParThenCombinator_PreProcessingTactic(); /** * The meta object literal for the 'Paralelly Postpricessing Tactic' containment reference feature. * * * @generated */ EReference SMT_PAR_THEN_COMBINATOR__PARALELLY_POSTPRICESSING_TACTIC = eINSTANCE.getSMTParThenCombinator_ParalellyPostpricessingTactic(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl SMT Try For Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTryForCombinator() * @generated */ EClass SMT_TRY_FOR_COMBINATOR = eINSTANCE.getSMTTryForCombinator(); /** * The meta object literal for the 'Tactic' containment reference feature. * * * @generated */ EReference SMT_TRY_FOR_COMBINATOR__TACTIC = eINSTANCE.getSMTTryForCombinator_Tactic(); /** * The meta object literal for the 'Time' attribute feature. * * * @generated */ EAttribute SMT_TRY_FOR_COMBINATOR__TIME = eINSTANCE.getSMTTryForCombinator_Time(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl SMT If Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIfCombinator() * @generated */ EClass SMT_IF_COMBINATOR = eINSTANCE.getSMTIfCombinator(); /** * The meta object literal for the 'Probe' containment reference feature. * * * @generated */ EReference SMT_IF_COMBINATOR__PROBE = eINSTANCE.getSMTIfCombinator_Probe(); /** * The meta object literal for the 'If Tactic' containment reference feature. * * * @generated */ EReference SMT_IF_COMBINATOR__IF_TACTIC = eINSTANCE.getSMTIfCombinator_IfTactic(); /** * The meta object literal for the 'Else Tactic' containment reference feature. * * * @generated */ EReference SMT_IF_COMBINATOR__ELSE_TACTIC = eINSTANCE.getSMTIfCombinator_ElseTactic(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl SMT When Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTWhenCombinator() * @generated */ EClass SMT_WHEN_COMBINATOR = eINSTANCE.getSMTWhenCombinator(); /** * The meta object literal for the 'Probe' containment reference feature. * * * @generated */ EReference SMT_WHEN_COMBINATOR__PROBE = eINSTANCE.getSMTWhenCombinator_Probe(); /** * The meta object literal for the 'Tactic' containment reference feature. * * * @generated */ EReference SMT_WHEN_COMBINATOR__TACTIC = eINSTANCE.getSMTWhenCombinator_Tactic(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl SMT Fail If Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFailIfCombinator() * @generated */ EClass SMT_FAIL_IF_COMBINATOR = eINSTANCE.getSMTFailIfCombinator(); /** * The meta object literal for the 'Probe' containment reference feature. * * * @generated */ EReference SMT_FAIL_IF_COMBINATOR__PROBE = eINSTANCE.getSMTFailIfCombinator_Probe(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl SMT Using Param Combinator}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUsingParamCombinator() * @generated */ EClass SMT_USING_PARAM_COMBINATOR = eINSTANCE.getSMTUsingParamCombinator(); /** * The meta object literal for the 'Tactic' containment reference feature. * * * @generated */ EReference SMT_USING_PARAM_COMBINATOR__TACTIC = eINSTANCE.getSMTUsingParamCombinator_Tactic(); /** * The meta object literal for the 'Parameters' containment reference list feature. * * * @generated */ EReference SMT_USING_PARAM_COMBINATOR__PARAMETERS = eINSTANCE.getSMTUsingParamCombinator_Parameters(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl Reasoning Probe}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningProbe() * @generated */ EClass REASONING_PROBE = eINSTANCE.getReasoningProbe(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute REASONING_PROBE__NAME = eINSTANCE.getReasoningProbe_Name(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl Reasoning Tactic Parameter}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningTacticParameter() * @generated */ EClass REASONING_TACTIC_PARAMETER = eINSTANCE.getReasoningTacticParameter(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute REASONING_TACTIC_PARAMETER__NAME = eINSTANCE.getReasoningTacticParameter_Name(); /** * The meta object literal for the 'Value' containment reference feature. * * * @generated */ EReference REASONING_TACTIC_PARAMETER__VALUE = eINSTANCE.getReasoningTacticParameter_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl SMT Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTResult() * @generated */ EClass SMT_RESULT = eINSTANCE.getSMTResult(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl SMT Error Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTErrorResult() * @generated */ EClass SMT_ERROR_RESULT = eINSTANCE.getSMTErrorResult(); /** * The meta object literal for the 'Message' attribute feature. * * * @generated */ EAttribute SMT_ERROR_RESULT__MESSAGE = eINSTANCE.getSMTErrorResult_Message(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl SMT Unsupported Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUnsupportedResult() * @generated */ EClass SMT_UNSUPPORTED_RESULT = eINSTANCE.getSMTUnsupportedResult(); /** * The meta object literal for the 'Command' attribute feature. * * * @generated */ EAttribute SMT_UNSUPPORTED_RESULT__COMMAND = eINSTANCE.getSMTUnsupportedResult_Command(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl SMT Sat Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatResult() * @generated */ EClass SMT_SAT_RESULT = eINSTANCE.getSMTSatResult(); /** * The meta object literal for the 'Sat' attribute feature. * * * @generated */ EAttribute SMT_SAT_RESULT__SAT = eINSTANCE.getSMTSatResult_Sat(); /** * The meta object literal for the 'Unsat' attribute feature. * * * @generated */ EAttribute SMT_SAT_RESULT__UNSAT = eINSTANCE.getSMTSatResult_Unsat(); /** * The meta object literal for the 'Unknown' attribute feature. * * * @generated */ EAttribute SMT_SAT_RESULT__UNKNOWN = eINSTANCE.getSMTSatResult_Unknown(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl SMT Model Result}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTModelResult() * @generated */ EClass SMT_MODEL_RESULT = eINSTANCE.getSMTModelResult(); /** * The meta object literal for the 'New Function Declarations' containment reference list feature. * * * @generated */ EReference SMT_MODEL_RESULT__NEW_FUNCTION_DECLARATIONS = eINSTANCE.getSMTModelResult_NewFunctionDeclarations(); /** * The meta object literal for the 'Type Definitions' containment reference list feature. * * * @generated */ EReference SMT_MODEL_RESULT__TYPE_DEFINITIONS = eINSTANCE.getSMTModelResult_TypeDefinitions(); /** * The meta object literal for the 'New Function Definitions' containment reference list feature. * * * @generated */ EReference SMT_MODEL_RESULT__NEW_FUNCTION_DEFINITIONS = eINSTANCE.getSMTModelResult_NewFunctionDefinitions(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl SMT Statistic Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticValue() * @generated */ EClass SMT_STATISTIC_VALUE = eINSTANCE.getSMTStatisticValue(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute SMT_STATISTIC_VALUE__NAME = eINSTANCE.getSMTStatisticValue_Name(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl SMT Statistic Int Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticIntValue() * @generated */ EClass SMT_STATISTIC_INT_VALUE = eINSTANCE.getSMTStatisticIntValue(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute SMT_STATISTIC_INT_VALUE__VALUE = eINSTANCE.getSMTStatisticIntValue_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl SMT Statistic Double Value}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticDoubleValue() * @generated */ EClass SMT_STATISTIC_DOUBLE_VALUE = eINSTANCE.getSMTStatisticDoubleValue(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute SMT_STATISTIC_DOUBLE_VALUE__VALUE = eINSTANCE.getSMTStatisticDoubleValue_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl SMT Statistics Section}' class. * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticsSection() * @generated */ EClass SMT_STATISTICS_SECTION = eINSTANCE.getSMTStatisticsSection(); /** * The meta object literal for the 'Values' containment reference list feature. * * * @generated */ EReference SMT_STATISTICS_SECTION__VALUES = eINSTANCE.getSMTStatisticsSection_Values(); } } //SmtLanguagePackage