/**
* generated by Xtext 2.18.0.M3
*/
package org.eclipse.viatra.solver.language.solverLanguage;
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
*
* - each class,
* - each feature of each class,
* - each enum,
* - and each data type
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory
* @model kind="package"
* @generated
*/
public interface SolverLanguagePackage extends EPackage
{
/**
* The package name.
*
*
* @generated
*/
String eNAME = "solverLanguage";
/**
* The package namespace URI.
*
*
* @generated
*/
String eNS_URI = "http://www.eclipse.org/viatra/solver/language/SolverLanguage";
/**
* The package namespace name.
*
*
* @generated
*/
String eNS_PREFIX = "solverLanguage";
/**
* The singleton instance of the package.
*
*
* @generated
*/
SolverLanguagePackage eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl.init();
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl Problem}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
* @generated
*/
int PROBLEM = 0;
/**
* The feature id for the 'Statements' containment reference list.
*
*
* @generated
* @ordered
*/
int PROBLEM__STATEMENTS = 0;
/**
* The number of structural features of the 'Problem' class.
*
*
* @generated
* @ordered
*/
int PROBLEM_FEATURE_COUNT = 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl Statement}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
* @generated
*/
int STATEMENT = 1;
/**
* The number of structural features of the 'Statement' class.
*
*
* @generated
* @ordered
*/
int STATEMENT_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl Boolean Value}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanValue()
* @generated
*/
int BOOLEAN_VALUE = 2;
/**
* The number of structural features of the 'Boolean Value' class.
*
*
* @generated
* @ordered
*/
int BOOLEAN_VALUE_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl Truth Value}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTruthValue()
* @generated
*/
int TRUTH_VALUE = 3;
/**
* The number of structural features of the 'Truth Value' class.
*
*
* @generated
* @ordered
*/
int TRUTH_VALUE_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
* @generated
*/
int INTERPRETATION = 4;
/**
* The number of structural features of the 'Interpretation' class.
*
*
* @generated
* @ordered
*/
int INTERPRETATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl Basic Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBasicInterpretation()
* @generated
*/
int BASIC_INTERPRETATION = 5;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int BASIC_INTERPRETATION__SYMBOL = INTERPRETATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Objects' containment reference list.
*
*
* @generated
* @ordered
*/
int BASIC_INTERPRETATION__OBJECTS = INTERPRETATION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Value' containment reference.
*
*
* @generated
* @ordered
*/
int BASIC_INTERPRETATION__VALUE = INTERPRETATION_FEATURE_COUNT + 2;
/**
* The number of structural features of the 'Basic Interpretation' class.
*
*
* @generated
* @ordered
*/
int BASIC_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 3;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol()
* @generated
*/
int SYMBOL = 6;
/**
* The number of structural features of the 'Symbol' class.
*
*
* @generated
* @ordered
*/
int SYMBOL_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl Model Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getModelSymbol()
* @generated
*/
int MODEL_SYMBOL = 7;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int MODEL_SYMBOL__NAME = SYMBOL_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Model Symbol' class.
*
*
* @generated
* @ordered
*/
int MODEL_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl Partiality Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPartialitySymbol()
* @generated
*/
int PARTIALITY_SYMBOL = 8;
/**
* The number of structural features of the 'Partiality Symbol' class.
*
*
* @generated
* @ordered
*/
int PARTIALITY_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl Exist Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExistSymbol()
* @generated
*/
int EXIST_SYMBOL = 9;
/**
* The number of structural features of the 'Exist Symbol' class.
*
*
* @generated
* @ordered
*/
int EXIST_SYMBOL_FEATURE_COUNT = PARTIALITY_SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl Equals Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEqualsSymbol()
* @generated
*/
int EQUALS_SYMBOL = 10;
/**
* The number of structural features of the 'Equals Symbol' class.
*
*
* @generated
* @ordered
*/
int EQUALS_SYMBOL_FEATURE_COUNT = PARTIALITY_SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl Data Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataSymbol()
* @generated
*/
int DATA_SYMBOL = 11;
/**
* The number of structural features of the 'Data Symbol' class.
*
*
* @generated
* @ordered
*/
int DATA_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl Boolean Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanSymbol()
* @generated
*/
int BOOLEAN_SYMBOL = 12;
/**
* The number of structural features of the 'Boolean Symbol' class.
*
*
* @generated
* @ordered
*/
int BOOLEAN_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl Integer Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntegerSymbol()
* @generated
*/
int INTEGER_SYMBOL = 13;
/**
* The number of structural features of the 'Integer Symbol' class.
*
*
* @generated
* @ordered
*/
int INTEGER_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl Real Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealSymbol()
* @generated
*/
int REAL_SYMBOL = 14;
/**
* The number of structural features of the 'Real Symbol' class.
*
*
* @generated
* @ordered
*/
int REAL_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl String Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringSymbol()
* @generated
*/
int STRING_SYMBOL = 15;
/**
* The number of structural features of the 'String Symbol' class.
*
*
* @generated
* @ordered
*/
int STRING_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl Complex Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComplexObject()
* @generated
*/
int COMPLEX_OBJECT = 16;
/**
* The number of structural features of the 'Complex Object' class.
*
*
* @generated
* @ordered
*/
int COMPLEX_OBJECT_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObject()
* @generated
*/
int OBJECT = 17;
/**
* The number of structural features of the 'Object' class.
*
*
* @generated
* @ordered
*/
int OBJECT_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl Named Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedObject()
* @generated
*/
int NAMED_OBJECT = 18;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int NAMED_OBJECT__NAME = OBJECT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Named Object' class.
*
*
* @generated
* @ordered
*/
int NAMED_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl Unnamed Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedObject()
* @generated
*/
int UNNAMED_OBJECT = 19;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int UNNAMED_OBJECT__NAME = OBJECT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Unnamed Object' class.
*
*
* @generated
* @ordered
*/
int UNNAMED_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl Data Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataObject()
* @generated
*/
int DATA_OBJECT = 20;
/**
* The number of structural features of the 'Data Object' class.
*
*
* @generated
* @ordered
*/
int DATA_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl Boolean Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanObject()
* @generated
*/
int BOOLEAN_OBJECT = 21;
/**
* The feature id for the 'Value' containment reference.
*
*
* @generated
* @ordered
*/
int BOOLEAN_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Boolean Object' class.
*
*
* @generated
* @ordered
*/
int BOOLEAN_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl Int Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntObject()
* @generated
*/
int INT_OBJECT = 22;
/**
* The feature id for the 'Value' attribute.
*
*
* @generated
* @ordered
*/
int INT_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Int Object' class.
*
*
* @generated
* @ordered
*/
int INT_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl Real Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealObject()
* @generated
*/
int REAL_OBJECT = 23;
/**
* The feature id for the 'Value' attribute.
*
*
* @generated
* @ordered
*/
int REAL_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Real Object' class.
*
*
* @generated
* @ordered
*/
int REAL_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl String Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringObject()
* @generated
*/
int STRING_OBJECT = 24;
/**
* The feature id for the 'Value' attribute.
*
*
* @generated
* @ordered
*/
int STRING_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'String Object' class.
*
*
* @generated
* @ordered
*/
int STRING_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl Predicate}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
* @generated
*/
int PREDICATE = 25;
/**
* The feature id for the 'Is Error' attribute.
*
*
* @generated
* @ordered
*/
int PREDICATE__IS_ERROR = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int PREDICATE__SYMBOL = STATEMENT_FEATURE_COUNT + 1;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int PREDICATE__PARAMETERS = STATEMENT_FEATURE_COUNT + 2;
/**
* The feature id for the 'Bodies' containment reference list.
*
*
* @generated
* @ordered
*/
int PREDICATE__BODIES = STATEMENT_FEATURE_COUNT + 3;
/**
* The number of structural features of the 'Predicate' class.
*
*
* @generated
* @ordered
*/
int PREDICATE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl Parameter}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter()
* @generated
*/
int PARAMETER = 26;
/**
* The feature id for the 'Variable' containment reference.
*
*
* @generated
* @ordered
*/
int PARAMETER__VARIABLE = 0;
/**
* The feature id for the 'Type' containment reference.
*
*
* @generated
* @ordered
*/
int PARAMETER__TYPE = 1;
/**
* The number of structural features of the 'Parameter' class.
*
*
* @generated
* @ordered
*/
int PARAMETER_FEATURE_COUNT = 2;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl Pattern Body}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody()
* @generated
*/
int PATTERN_BODY = 27;
/**
* The feature id for the 'Constraints' containment reference list.
*
*
* @generated
* @ordered
*/
int PATTERN_BODY__CONSTRAINTS = 0;
/**
* The number of structural features of the 'Pattern Body' class.
*
*
* @generated
* @ordered
*/
int PATTERN_BODY_FEATURE_COUNT = 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl Polarity}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity()
* @generated
*/
int POLARITY = 28;
/**
* The number of structural features of the 'Polarity' class.
*
*
* @generated
* @ordered
*/
int POLARITY_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl Constraint}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint()
* @generated
*/
int CONSTRAINT = 29;
/**
* The feature id for the 'Polarity' containment reference.
*
*
* @generated
* @ordered
*/
int CONSTRAINT__POLARITY = 0;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int CONSTRAINT__SYMBOL = 1;
/**
* The feature id for the 'Params' containment reference list.
*
*
* @generated
* @ordered
*/
int CONSTRAINT__PARAMS = 2;
/**
* The feature id for the 'Closure Type' containment reference.
*
*
* @generated
* @ordered
*/
int CONSTRAINT__CLOSURE_TYPE = 3;
/**
* The number of structural features of the 'Constraint' class.
*
*
* @generated
* @ordered
*/
int CONSTRAINT_FEATURE_COUNT = 4;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl Closure Type}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType()
* @generated
*/
int CLOSURE_TYPE = 30;
/**
* The number of structural features of the 'Closure Type' class.
*
*
* @generated
* @ordered
*/
int CLOSURE_TYPE_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
* @generated
*/
int LITERAL = 31;
/**
* The number of structural features of the 'Literal' class.
*
*
* @generated
* @ordered
*/
int LITERAL_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl Variable}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
* @generated
*/
int VARIABLE = 32;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int VARIABLE__NAME = LITERAL_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Variable' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl All Instances}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances()
* @generated
*/
int ALL_INSTANCES = 33;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int ALL_INSTANCES__SYMBOL = COMPLEX_OBJECT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'All Instances' class.
*
*
* @generated
* @ordered
*/
int ALL_INSTANCES_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl All Objects}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects()
* @generated
*/
int ALL_OBJECTS = 34;
/**
* The number of structural features of the 'All Objects' class.
*
*
* @generated
* @ordered
*/
int ALL_OBJECTS_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl Default Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation()
* @generated
*/
int DEFAULT_INTERPRETATION = 35;
/**
* The feature id for the 'Interpretation' containment reference.
*
*
* @generated
* @ordered
*/
int DEFAULT_INTERPRETATION__INTERPRETATION = INTERPRETATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Default Interpretation' class.
*
*
* @generated
* @ordered
*/
int DEFAULT_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl CD Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation()
* @generated
*/
int CD_INTERPRETATION = 36;
/**
* The number of structural features of the 'CD Interpretation' class.
*
*
* @generated
* @ordered
*/
int CD_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl Class Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation()
* @generated
*/
int CLASS_INTERPRETATION = 37;
/**
* The feature id for the 'Abstract' attribute.
*
*
* @generated
* @ordered
*/
int CLASS_INTERPRETATION__ABSTRACT = CD_INTERPRETATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int CLASS_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Supertypes' containment reference list.
*
*
* @generated
* @ordered
*/
int CLASS_INTERPRETATION__SUPERTYPES = CD_INTERPRETATION_FEATURE_COUNT + 2;
/**
* The feature id for the 'Fielt' containment reference list.
*
*
* @generated
* @ordered
*/
int CLASS_INTERPRETATION__FIELT = CD_INTERPRETATION_FEATURE_COUNT + 3;
/**
* The number of structural features of the 'Class Interpretation' class.
*
*
* @generated
* @ordered
*/
int CLASS_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 4;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl Enum Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation()
* @generated
*/
int ENUM_INTERPRETATION = 38;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int ENUM_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Objects' containment reference list.
*
*
* @generated
* @ordered
*/
int ENUM_INTERPRETATION__OBJECTS = CD_INTERPRETATION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Enum Interpretation' class.
*
*
* @generated
* @ordered
*/
int ENUM_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 2;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl Field Relation Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation()
* @generated
*/
int FIELD_RELATION_INTERPRETATION = 39;
/**
* The feature id for the 'Containment' attribute.
*
*
* @generated
* @ordered
*/
int FIELD_RELATION_INTERPRETATION__CONTAINMENT = 0;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int FIELD_RELATION_INTERPRETATION__SYMBOL = 1;
/**
* The feature id for the 'Multiplicity' containment reference.
*
*
* @generated
* @ordered
*/
int FIELD_RELATION_INTERPRETATION__MULTIPLICITY = 2;
/**
* The feature id for the 'Target' containment reference.
*
*
* @generated
* @ordered
*/
int FIELD_RELATION_INTERPRETATION__TARGET = 3;
/**
* The number of structural features of the 'Field Relation Interpretation' class.
*
*
* @generated
* @ordered
*/
int FIELD_RELATION_INTERPRETATION_FEATURE_COUNT = 4;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl Global Relation Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation()
* @generated
*/
int GLOBAL_RELATION_INTERPRETATION = 40;
/**
* The feature id for the 'Containment' attribute.
*
*
* @generated
* @ordered
*/
int GLOBAL_RELATION_INTERPRETATION__CONTAINMENT = CD_INTERPRETATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Symbol' containment reference.
*
*
* @generated
* @ordered
*/
int GLOBAL_RELATION_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Source Multiplicity' containment reference.
*
*
* @generated
* @ordered
*/
int GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY = CD_INTERPRETATION_FEATURE_COUNT + 2;
/**
* The feature id for the 'Source' containment reference.
*
*
* @generated
* @ordered
*/
int GLOBAL_RELATION_INTERPRETATION__SOURCE = CD_INTERPRETATION_FEATURE_COUNT + 3;
/**
* The feature id for the 'Target Multiplicity' containment reference.
*
*
* @generated
* @ordered
*/
int GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY = CD_INTERPRETATION_FEATURE_COUNT + 4;
/**
* The feature id for the 'Target' containment reference.
*
*
* @generated
* @ordered
*/
int GLOBAL_RELATION_INTERPRETATION__TARGET = CD_INTERPRETATION_FEATURE_COUNT + 5;
/**
* The number of structural features of the 'Global Relation Interpretation' class.
*
*
* @generated
* @ordered
*/
int GLOBAL_RELATION_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 6;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl Multiplicity Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition()
* @generated
*/
int MULTIPLICITY_DEFINITION = 41;
/**
* The feature id for the 'Lower' attribute.
*
*
* @generated
* @ordered
*/
int MULTIPLICITY_DEFINITION__LOWER = 0;
/**
* The feature id for the 'Upper' attribute.
*
*
* @generated
* @ordered
*/
int MULTIPLICITY_DEFINITION__UPPER = 1;
/**
* The feature id for the 'Unlimited Upper' attribute.
*
*
* @generated
* @ordered
*/
int MULTIPLICITY_DEFINITION__UNLIMITED_UPPER = 2;
/**
* The number of structural features of the 'Multiplicity Definition' class.
*
*
* @generated
* @ordered
*/
int MULTIPLICITY_DEFINITION_FEATURE_COUNT = 3;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl Boolean True}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue()
* @generated
*/
int BOOLEAN_TRUE = 42;
/**
* The number of structural features of the 'Boolean True' class.
*
*
* @generated
* @ordered
*/
int BOOLEAN_TRUE_FEATURE_COUNT = BOOLEAN_VALUE_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl Boolean False}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse()
* @generated
*/
int BOOLEAN_FALSE = 43;
/**
* The number of structural features of the 'Boolean False' class.
*
*
* @generated
* @ordered
*/
int BOOLEAN_FALSE_FEATURE_COUNT = BOOLEAN_VALUE_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl True}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue()
* @generated
*/
int TRUE = 44;
/**
* The number of structural features of the 'True' class.
*
*
* @generated
* @ordered
*/
int TRUE_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl False}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse()
* @generated
*/
int FALSE = 45;
/**
* The number of structural features of the 'False' class.
*
*
* @generated
* @ordered
*/
int FALSE_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl Unknown}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown()
* @generated
*/
int UNKNOWN = 46;
/**
* The number of structural features of the 'Unknown' class.
*
*
* @generated
* @ordered
*/
int UNKNOWN_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl Error}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError()
* @generated
*/
int ERROR = 47;
/**
* The number of structural features of the 'Error' class.
*
*
* @generated
* @ordered
*/
int ERROR_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl Positive}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive()
* @generated
*/
int POSITIVE = 48;
/**
* The number of structural features of the 'Positive' class.
*
*
* @generated
* @ordered
*/
int POSITIVE_FEATURE_COUNT = POLARITY_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl Negative}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative()
* @generated
*/
int NEGATIVE = 49;
/**
* The number of structural features of the 'Negative' class.
*
*
* @generated
* @ordered
*/
int NEGATIVE_FEATURE_COUNT = POLARITY_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl Reflexive Closure}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure()
* @generated
*/
int REFLEXIVE_CLOSURE = 50;
/**
* The number of structural features of the 'Reflexive Closure' class.
*
*
* @generated
* @ordered
*/
int REFLEXIVE_CLOSURE_FEATURE_COUNT = CLOSURE_TYPE_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl Irreflexive Closure}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure()
* @generated
*/
int IRREFLEXIVE_CLOSURE = 51;
/**
* The number of structural features of the 'Irreflexive Closure' class.
*
*
* @generated
* @ordered
*/
int IRREFLEXIVE_CLOSURE_FEATURE_COUNT = CLOSURE_TYPE_FEATURE_COUNT + 0;
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem Problem}'.
*
*
* @return the meta object for class 'Problem'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Problem
* @generated
*/
EClass getProblem();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements Statements}'.
*
*
* @return the meta object for the containment reference list 'Statements'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements()
* @see #getProblem()
* @generated
*/
EReference getProblem_Statements();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement Statement}'.
*
*
* @return the meta object for class 'Statement'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Statement
* @generated
*/
EClass getStatement();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanValue Boolean Value}'.
*
*
* @return the meta object for class 'Boolean Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BooleanValue
* @generated
*/
EClass getBooleanValue();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TruthValue Truth Value}'.
*
*
* @return the meta object for class 'Truth Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.TruthValue
* @generated
*/
EClass getTruthValue();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation Interpretation}'.
*
*
* @return the meta object for class 'Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation
* @generated
*/
EClass getInterpretation();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation Basic Interpretation}'.
*
*
* @return the meta object for class 'Basic Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation
* @generated
*/
EClass getBasicInterpretation();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getSymbol()
* @see #getBasicInterpretation()
* @generated
*/
EReference getBasicInterpretation_Symbol();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getObjects Objects}'.
*
*
* @return the meta object for the containment reference list 'Objects'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getObjects()
* @see #getBasicInterpretation()
* @generated
*/
EReference getBasicInterpretation_Objects();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getValue Value}'.
*
*
* @return the meta object for the containment reference 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getValue()
* @see #getBasicInterpretation()
* @generated
*/
EReference getBasicInterpretation_Value();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol Symbol}'.
*
*
* @return the meta object for class 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Symbol
* @generated
*/
EClass getSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol Model Symbol}'.
*
*
* @return the meta object for class 'Model Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol
* @generated
*/
EClass getModelSymbol();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol#getName()
* @see #getModelSymbol()
* @generated
*/
EAttribute getModelSymbol_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol Partiality Symbol}'.
*
*
* @return the meta object for class 'Partiality Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol
* @generated
*/
EClass getPartialitySymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol Exist Symbol}'.
*
*
* @return the meta object for class 'Exist Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol
* @generated
*/
EClass getExistSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol Equals Symbol}'.
*
*
* @return the meta object for class 'Equals Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol
* @generated
*/
EClass getEqualsSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataSymbol Data Symbol}'.
*
*
* @return the meta object for class 'Data Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.DataSymbol
* @generated
*/
EClass getDataSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol Boolean Symbol}'.
*
*
* @return the meta object for class 'Boolean Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol
* @generated
*/
EClass getBooleanSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol Integer Symbol}'.
*
*
* @return the meta object for class 'Integer Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol
* @generated
*/
EClass getIntegerSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealSymbol Real Symbol}'.
*
*
* @return the meta object for class 'Real Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.RealSymbol
* @generated
*/
EClass getRealSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringSymbol String Symbol}'.
*
*
* @return the meta object for class 'String Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.StringSymbol
* @generated
*/
EClass getStringSymbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ComplexObject Complex Object}'.
*
*
* @return the meta object for class 'Complex Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ComplexObject
* @generated
*/
EClass getComplexObject();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Object Object}'.
*
*
* @return the meta object for class 'Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Object
* @generated
*/
EClass getObject();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject Named Object}'.
*
*
* @return the meta object for class 'Named Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject
* @generated
*/
EClass getNamedObject();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject#getName()
* @see #getNamedObject()
* @generated
*/
EAttribute getNamedObject_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject Unnamed Object}'.
*
*
* @return the meta object for class 'Unnamed Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject
* @generated
*/
EClass getUnnamedObject();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject#getName()
* @see #getUnnamedObject()
* @generated
*/
EAttribute getUnnamedObject_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataObject Data Object}'.
*
*
* @return the meta object for class 'Data Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.DataObject
* @generated
*/
EClass getDataObject();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject Boolean Object}'.
*
*
* @return the meta object for class 'Boolean Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject
* @generated
*/
EClass getBooleanObject();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject#getValue Value}'.
*
*
* @return the meta object for the containment reference 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject#getValue()
* @see #getBooleanObject()
* @generated
*/
EReference getBooleanObject_Value();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject Int Object}'.
*
*
* @return the meta object for class 'Int Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.IntObject
* @generated
*/
EClass getIntObject();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject#getValue Value}'.
*
*
* @return the meta object for the attribute 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.IntObject#getValue()
* @see #getIntObject()
* @generated
*/
EAttribute getIntObject_Value();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject Real Object}'.
*
*
* @return the meta object for class 'Real Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.RealObject
* @generated
*/
EClass getRealObject();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject#getValue Value}'.
*
*
* @return the meta object for the attribute 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.RealObject#getValue()
* @see #getRealObject()
* @generated
*/
EAttribute getRealObject_Value();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject String Object}'.
*
*
* @return the meta object for class 'String Object'.
* @see org.eclipse.viatra.solver.language.solverLanguage.StringObject
* @generated
*/
EClass getStringObject();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject#getValue Value}'.
*
*
* @return the meta object for the attribute 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.StringObject#getValue()
* @see #getStringObject()
* @generated
*/
EAttribute getStringObject_Value();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate Predicate}'.
*
*
* @return the meta object for class 'Predicate'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Predicate
* @generated
*/
EClass getPredicate();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError Is Error}'.
*
*
* @return the meta object for the attribute 'Is Error'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError()
* @see #getPredicate()
* @generated
*/
EAttribute getPredicate_IsError();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol()
* @see #getPredicate()
* @generated
*/
EReference getPredicate_Symbol();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters Parameters}'.
*
*
* @return the meta object for the containment reference list 'Parameters'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters()
* @see #getPredicate()
* @generated
*/
EReference getPredicate_Parameters();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies Bodies}'.
*
*
* @return the meta object for the containment reference list 'Bodies'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies()
* @see #getPredicate()
* @generated
*/
EReference getPredicate_Bodies();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter Parameter}'.
*
*
* @return the meta object for class 'Parameter'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Parameter
* @generated
*/
EClass getParameter();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter#getVariable Variable}'.
*
*
* @return the meta object for the containment reference 'Variable'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Parameter#getVariable()
* @see #getParameter()
* @generated
*/
EReference getParameter_Variable();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter#getType Type}'.
*
*
* @return the meta object for the containment reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Parameter#getType()
* @see #getParameter()
* @generated
*/
EReference getParameter_Type();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody Pattern Body}'.
*
*
* @return the meta object for class 'Pattern Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody
* @generated
*/
EClass getPatternBody();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody#getConstraints Constraints}'.
*
*
* @return the meta object for the containment reference list 'Constraints'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody#getConstraints()
* @see #getPatternBody()
* @generated
*/
EReference getPatternBody_Constraints();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Polarity Polarity}'.
*
*
* @return the meta object for class 'Polarity'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Polarity
* @generated
*/
EClass getPolarity();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint Constraint}'.
*
*
* @return the meta object for class 'Constraint'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Constraint
* @generated
*/
EClass getConstraint();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getPolarity Polarity}'.
*
*
* @return the meta object for the containment reference 'Polarity'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getPolarity()
* @see #getConstraint()
* @generated
*/
EReference getConstraint_Polarity();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getSymbol()
* @see #getConstraint()
* @generated
*/
EReference getConstraint_Symbol();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getParams Params}'.
*
*
* @return the meta object for the containment reference list 'Params'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getParams()
* @see #getConstraint()
* @generated
*/
EReference getConstraint_Params();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getClosureType Closure Type}'.
*
*
* @return the meta object for the containment reference 'Closure Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getClosureType()
* @see #getConstraint()
* @generated
*/
EReference getConstraint_ClosureType();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClosureType Closure Type}'.
*
*
* @return the meta object for class 'Closure Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClosureType
* @generated
*/
EClass getClosureType();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal Literal}'.
*
*
* @return the meta object for class 'Literal'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Literal
* @generated
*/
EClass getLiteral();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable Variable}'.
*
*
* @return the meta object for class 'Variable'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Variable
* @generated
*/
EClass getVariable();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Variable#getName()
* @see #getVariable()
* @generated
*/
EAttribute getVariable_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances All Instances}'.
*
*
* @return the meta object for class 'All Instances'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances
* @generated
*/
EClass getAllInstances();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances#getSymbol()
* @see #getAllInstances()
* @generated
*/
EReference getAllInstances_Symbol();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllObjects All Objects}'.
*
*
* @return the meta object for class 'All Objects'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AllObjects
* @generated
*/
EClass getAllObjects();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation Default Interpretation}'.
*
*
* @return the meta object for class 'Default Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation
* @generated
*/
EClass getDefaultInterpretation();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation#getInterpretation Interpretation}'.
*
*
* @return the meta object for the containment reference 'Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation#getInterpretation()
* @see #getDefaultInterpretation()
* @generated
*/
EReference getDefaultInterpretation_Interpretation();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation CD Interpretation}'.
*
*
* @return the meta object for class 'CD Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation
* @generated
*/
EClass getCDInterpretation();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation Class Interpretation}'.
*
*
* @return the meta object for class 'Class Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation
* @generated
*/
EClass getClassInterpretation();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#isAbstract Abstract}'.
*
*
* @return the meta object for the attribute 'Abstract'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#isAbstract()
* @see #getClassInterpretation()
* @generated
*/
EAttribute getClassInterpretation_Abstract();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSymbol()
* @see #getClassInterpretation()
* @generated
*/
EReference getClassInterpretation_Symbol();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSupertypes Supertypes}'.
*
*
* @return the meta object for the containment reference list 'Supertypes'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSupertypes()
* @see #getClassInterpretation()
* @generated
*/
EReference getClassInterpretation_Supertypes();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getFielt Fielt}'.
*
*
* @return the meta object for the containment reference list 'Fielt'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getFielt()
* @see #getClassInterpretation()
* @generated
*/
EReference getClassInterpretation_Fielt();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation Enum Interpretation}'.
*
*
* @return the meta object for class 'Enum Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation
* @generated
*/
EClass getEnumInterpretation();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getSymbol()
* @see #getEnumInterpretation()
* @generated
*/
EReference getEnumInterpretation_Symbol();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getObjects Objects}'.
*
*
* @return the meta object for the containment reference list 'Objects'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getObjects()
* @see #getEnumInterpretation()
* @generated
*/
EReference getEnumInterpretation_Objects();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation Field Relation Interpretation}'.
*
*
* @return the meta object for class 'Field Relation Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation
* @generated
*/
EClass getFieldRelationInterpretation();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#isContainment Containment}'.
*
*
* @return the meta object for the attribute 'Containment'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#isContainment()
* @see #getFieldRelationInterpretation()
* @generated
*/
EAttribute getFieldRelationInterpretation_Containment();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getSymbol()
* @see #getFieldRelationInterpretation()
* @generated
*/
EReference getFieldRelationInterpretation_Symbol();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getMultiplicity Multiplicity}'.
*
*
* @return the meta object for the containment reference 'Multiplicity'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getMultiplicity()
* @see #getFieldRelationInterpretation()
* @generated
*/
EReference getFieldRelationInterpretation_Multiplicity();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getTarget Target}'.
*
*
* @return the meta object for the containment reference 'Target'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getTarget()
* @see #getFieldRelationInterpretation()
* @generated
*/
EReference getFieldRelationInterpretation_Target();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation Global Relation Interpretation}'.
*
*
* @return the meta object for class 'Global Relation Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation
* @generated
*/
EClass getGlobalRelationInterpretation();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#isContainment Containment}'.
*
*
* @return the meta object for the attribute 'Containment'.
* @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#isContainment()
* @see #getGlobalRelationInterpretation()
* @generated
*/
EAttribute getGlobalRelationInterpretation_Containment();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSymbol Symbol}'.
*
*
* @return the meta object for the containment reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSymbol()
* @see #getGlobalRelationInterpretation()
* @generated
*/
EReference getGlobalRelationInterpretation_Symbol();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSourceMultiplicity Source Multiplicity}'.
*
*
* @return the meta object for the containment reference 'Source Multiplicity'.
* @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSourceMultiplicity()
* @see #getGlobalRelationInterpretation()
* @generated
*/
EReference getGlobalRelationInterpretation_SourceMultiplicity();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSource Source}'.
*
*
* @return the meta object for the containment reference 'Source'.
* @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSource()
* @see #getGlobalRelationInterpretation()
* @generated
*/
EReference getGlobalRelationInterpretation_Source();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTargetMultiplicity Target Multiplicity}'.
*
*
* @return the meta object for the containment reference 'Target Multiplicity'.
* @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTargetMultiplicity()
* @see #getGlobalRelationInterpretation()
* @generated
*/
EReference getGlobalRelationInterpretation_TargetMultiplicity();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTarget Target}'.
*
*
* @return the meta object for the containment reference 'Target'.
* @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTarget()
* @see #getGlobalRelationInterpretation()
* @generated
*/
EReference getGlobalRelationInterpretation_Target();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition Multiplicity Definition}'.
*
*
* @return the meta object for class 'Multiplicity Definition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition
* @generated
*/
EClass getMultiplicityDefinition();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower Lower}'.
*
*
* @return the meta object for the attribute 'Lower'.
* @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower()
* @see #getMultiplicityDefinition()
* @generated
*/
EAttribute getMultiplicityDefinition_Lower();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper Upper}'.
*
*
* @return the meta object for the attribute 'Upper'.
* @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper()
* @see #getMultiplicityDefinition()
* @generated
*/
EAttribute getMultiplicityDefinition_Upper();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper Unlimited Upper}'.
*
*
* @return the meta object for the attribute 'Unlimited Upper'.
* @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper()
* @see #getMultiplicityDefinition()
* @generated
*/
EAttribute getMultiplicityDefinition_UnlimitedUpper();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue Boolean True}'.
*
*
* @return the meta object for class 'Boolean True'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue
* @generated
*/
EClass getBooleanTrue();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse Boolean False}'.
*
*
* @return the meta object for class 'Boolean False'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse
* @generated
*/
EClass getBooleanFalse();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.True True}'.
*
*
* @return the meta object for class 'True'.
* @see org.eclipse.viatra.solver.language.solverLanguage.True
* @generated
*/
EClass getTrue();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.False False}'.
*
*
* @return the meta object for class 'False'.
* @see org.eclipse.viatra.solver.language.solverLanguage.False
* @generated
*/
EClass getFalse();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Unknown Unknown}'.
*
*
* @return the meta object for class 'Unknown'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Unknown
* @generated
*/
EClass getUnknown();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Error Error}'.
*
*
* @return the meta object for class 'Error'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Error
* @generated
*/
EClass getError();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Positive Positive}'.
*
*
* @return the meta object for class 'Positive'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Positive
* @generated
*/
EClass getPositive();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Negative Negative}'.
*
*
* @return the meta object for class 'Negative'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Negative
* @generated
*/
EClass getNegative();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure Reflexive Closure}'.
*
*
* @return the meta object for class 'Reflexive Closure'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure
* @generated
*/
EClass getReflexiveClosure();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure Irreflexive Closure}'.
*
*
* @return the meta object for class 'Irreflexive Closure'.
* @see org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure
* @generated
*/
EClass getIrreflexiveClosure();
/**
* Returns the factory that creates the instances of the model.
*
*
* @return the factory that creates the instances of the model.
* @generated
*/
SolverLanguageFactory getSolverLanguageFactory();
/**
*
* Defines literals for the meta objects that represent
*
* - each class,
* - each feature of each class,
* - each enum,
* - and each data type
*
*
* @generated
*/
interface Literals
{
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl Problem}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
* @generated
*/
EClass PROBLEM = eINSTANCE.getProblem();
/**
* The meta object literal for the 'Statements' containment reference list feature.
*
*
* @generated
*/
EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl Statement}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
* @generated
*/
EClass STATEMENT = eINSTANCE.getStatement();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl Boolean Value}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanValue()
* @generated
*/
EClass BOOLEAN_VALUE = eINSTANCE.getBooleanValue();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl Truth Value}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTruthValue()
* @generated
*/
EClass TRUTH_VALUE = eINSTANCE.getTruthValue();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
* @generated
*/
EClass INTERPRETATION = eINSTANCE.getInterpretation();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl Basic Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBasicInterpretation()
* @generated
*/
EClass BASIC_INTERPRETATION = eINSTANCE.getBasicInterpretation();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference BASIC_INTERPRETATION__SYMBOL = eINSTANCE.getBasicInterpretation_Symbol();
/**
* The meta object literal for the 'Objects' containment reference list feature.
*
*
* @generated
*/
EReference BASIC_INTERPRETATION__OBJECTS = eINSTANCE.getBasicInterpretation_Objects();
/**
* The meta object literal for the 'Value' containment reference feature.
*
*
* @generated
*/
EReference BASIC_INTERPRETATION__VALUE = eINSTANCE.getBasicInterpretation_Value();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol()
* @generated
*/
EClass SYMBOL = eINSTANCE.getSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl Model Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getModelSymbol()
* @generated
*/
EClass MODEL_SYMBOL = eINSTANCE.getModelSymbol();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute MODEL_SYMBOL__NAME = eINSTANCE.getModelSymbol_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl Partiality Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPartialitySymbol()
* @generated
*/
EClass PARTIALITY_SYMBOL = eINSTANCE.getPartialitySymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl Exist Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExistSymbol()
* @generated
*/
EClass EXIST_SYMBOL = eINSTANCE.getExistSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl Equals Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEqualsSymbol()
* @generated
*/
EClass EQUALS_SYMBOL = eINSTANCE.getEqualsSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl Data Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataSymbol()
* @generated
*/
EClass DATA_SYMBOL = eINSTANCE.getDataSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl Boolean Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanSymbol()
* @generated
*/
EClass BOOLEAN_SYMBOL = eINSTANCE.getBooleanSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl Integer Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntegerSymbol()
* @generated
*/
EClass INTEGER_SYMBOL = eINSTANCE.getIntegerSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl Real Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealSymbol()
* @generated
*/
EClass REAL_SYMBOL = eINSTANCE.getRealSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl String Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringSymbol()
* @generated
*/
EClass STRING_SYMBOL = eINSTANCE.getStringSymbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl Complex Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComplexObject()
* @generated
*/
EClass COMPLEX_OBJECT = eINSTANCE.getComplexObject();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObject()
* @generated
*/
EClass OBJECT = eINSTANCE.getObject();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl Named Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedObject()
* @generated
*/
EClass NAMED_OBJECT = eINSTANCE.getNamedObject();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute NAMED_OBJECT__NAME = eINSTANCE.getNamedObject_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl Unnamed Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedObject()
* @generated
*/
EClass UNNAMED_OBJECT = eINSTANCE.getUnnamedObject();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute UNNAMED_OBJECT__NAME = eINSTANCE.getUnnamedObject_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl Data Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataObject()
* @generated
*/
EClass DATA_OBJECT = eINSTANCE.getDataObject();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl Boolean Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanObject()
* @generated
*/
EClass BOOLEAN_OBJECT = eINSTANCE.getBooleanObject();
/**
* The meta object literal for the 'Value' containment reference feature.
*
*
* @generated
*/
EReference BOOLEAN_OBJECT__VALUE = eINSTANCE.getBooleanObject_Value();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl Int Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntObject()
* @generated
*/
EClass INT_OBJECT = eINSTANCE.getIntObject();
/**
* The meta object literal for the 'Value' attribute feature.
*
*
* @generated
*/
EAttribute INT_OBJECT__VALUE = eINSTANCE.getIntObject_Value();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl Real Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealObject()
* @generated
*/
EClass REAL_OBJECT = eINSTANCE.getRealObject();
/**
* The meta object literal for the 'Value' attribute feature.
*
*
* @generated
*/
EAttribute REAL_OBJECT__VALUE = eINSTANCE.getRealObject_Value();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl String Object}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringObject()
* @generated
*/
EClass STRING_OBJECT = eINSTANCE.getStringObject();
/**
* The meta object literal for the 'Value' attribute feature.
*
*
* @generated
*/
EAttribute STRING_OBJECT__VALUE = eINSTANCE.getStringObject_Value();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl Predicate}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
* @generated
*/
EClass PREDICATE = eINSTANCE.getPredicate();
/**
* The meta object literal for the 'Is Error' attribute feature.
*
*
* @generated
*/
EAttribute PREDICATE__IS_ERROR = eINSTANCE.getPredicate_IsError();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference PREDICATE__SYMBOL = eINSTANCE.getPredicate_Symbol();
/**
* The meta object literal for the 'Parameters' containment reference list feature.
*
*
* @generated
*/
EReference PREDICATE__PARAMETERS = eINSTANCE.getPredicate_Parameters();
/**
* The meta object literal for the 'Bodies' containment reference list feature.
*
*
* @generated
*/
EReference PREDICATE__BODIES = eINSTANCE.getPredicate_Bodies();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl Parameter}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter()
* @generated
*/
EClass PARAMETER = eINSTANCE.getParameter();
/**
* The meta object literal for the 'Variable' containment reference feature.
*
*
* @generated
*/
EReference PARAMETER__VARIABLE = eINSTANCE.getParameter_Variable();
/**
* The meta object literal for the 'Type' containment reference feature.
*
*
* @generated
*/
EReference PARAMETER__TYPE = eINSTANCE.getParameter_Type();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl Pattern Body}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody()
* @generated
*/
EClass PATTERN_BODY = eINSTANCE.getPatternBody();
/**
* The meta object literal for the 'Constraints' containment reference list feature.
*
*
* @generated
*/
EReference PATTERN_BODY__CONSTRAINTS = eINSTANCE.getPatternBody_Constraints();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl Polarity}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity()
* @generated
*/
EClass POLARITY = eINSTANCE.getPolarity();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl Constraint}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint()
* @generated
*/
EClass CONSTRAINT = eINSTANCE.getConstraint();
/**
* The meta object literal for the 'Polarity' containment reference feature.
*
*
* @generated
*/
EReference CONSTRAINT__POLARITY = eINSTANCE.getConstraint_Polarity();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference CONSTRAINT__SYMBOL = eINSTANCE.getConstraint_Symbol();
/**
* The meta object literal for the 'Params' containment reference list feature.
*
*
* @generated
*/
EReference CONSTRAINT__PARAMS = eINSTANCE.getConstraint_Params();
/**
* The meta object literal for the 'Closure Type' containment reference feature.
*
*
* @generated
*/
EReference CONSTRAINT__CLOSURE_TYPE = eINSTANCE.getConstraint_ClosureType();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl Closure Type}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType()
* @generated
*/
EClass CLOSURE_TYPE = eINSTANCE.getClosureType();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
* @generated
*/
EClass LITERAL = eINSTANCE.getLiteral();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl Variable}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
* @generated
*/
EClass VARIABLE = eINSTANCE.getVariable();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute VARIABLE__NAME = eINSTANCE.getVariable_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl All Instances}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances()
* @generated
*/
EClass ALL_INSTANCES = eINSTANCE.getAllInstances();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference ALL_INSTANCES__SYMBOL = eINSTANCE.getAllInstances_Symbol();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl All Objects}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects()
* @generated
*/
EClass ALL_OBJECTS = eINSTANCE.getAllObjects();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl Default Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation()
* @generated
*/
EClass DEFAULT_INTERPRETATION = eINSTANCE.getDefaultInterpretation();
/**
* The meta object literal for the 'Interpretation' containment reference feature.
*
*
* @generated
*/
EReference DEFAULT_INTERPRETATION__INTERPRETATION = eINSTANCE.getDefaultInterpretation_Interpretation();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl CD Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation()
* @generated
*/
EClass CD_INTERPRETATION = eINSTANCE.getCDInterpretation();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl Class Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation()
* @generated
*/
EClass CLASS_INTERPRETATION = eINSTANCE.getClassInterpretation();
/**
* The meta object literal for the 'Abstract' attribute feature.
*
*
* @generated
*/
EAttribute CLASS_INTERPRETATION__ABSTRACT = eINSTANCE.getClassInterpretation_Abstract();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference CLASS_INTERPRETATION__SYMBOL = eINSTANCE.getClassInterpretation_Symbol();
/**
* The meta object literal for the 'Supertypes' containment reference list feature.
*
*
* @generated
*/
EReference CLASS_INTERPRETATION__SUPERTYPES = eINSTANCE.getClassInterpretation_Supertypes();
/**
* The meta object literal for the 'Fielt' containment reference list feature.
*
*
* @generated
*/
EReference CLASS_INTERPRETATION__FIELT = eINSTANCE.getClassInterpretation_Fielt();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl Enum Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation()
* @generated
*/
EClass ENUM_INTERPRETATION = eINSTANCE.getEnumInterpretation();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference ENUM_INTERPRETATION__SYMBOL = eINSTANCE.getEnumInterpretation_Symbol();
/**
* The meta object literal for the 'Objects' containment reference list feature.
*
*
* @generated
*/
EReference ENUM_INTERPRETATION__OBJECTS = eINSTANCE.getEnumInterpretation_Objects();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl Field Relation Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation()
* @generated
*/
EClass FIELD_RELATION_INTERPRETATION = eINSTANCE.getFieldRelationInterpretation();
/**
* The meta object literal for the 'Containment' attribute feature.
*
*
* @generated
*/
EAttribute FIELD_RELATION_INTERPRETATION__CONTAINMENT = eINSTANCE.getFieldRelationInterpretation_Containment();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference FIELD_RELATION_INTERPRETATION__SYMBOL = eINSTANCE.getFieldRelationInterpretation_Symbol();
/**
* The meta object literal for the 'Multiplicity' containment reference feature.
*
*
* @generated
*/
EReference FIELD_RELATION_INTERPRETATION__MULTIPLICITY = eINSTANCE.getFieldRelationInterpretation_Multiplicity();
/**
* The meta object literal for the 'Target' containment reference feature.
*
*
* @generated
*/
EReference FIELD_RELATION_INTERPRETATION__TARGET = eINSTANCE.getFieldRelationInterpretation_Target();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl Global Relation Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation()
* @generated
*/
EClass GLOBAL_RELATION_INTERPRETATION = eINSTANCE.getGlobalRelationInterpretation();
/**
* The meta object literal for the 'Containment' attribute feature.
*
*
* @generated
*/
EAttribute GLOBAL_RELATION_INTERPRETATION__CONTAINMENT = eINSTANCE.getGlobalRelationInterpretation_Containment();
/**
* The meta object literal for the 'Symbol' containment reference feature.
*
*
* @generated
*/
EReference GLOBAL_RELATION_INTERPRETATION__SYMBOL = eINSTANCE.getGlobalRelationInterpretation_Symbol();
/**
* The meta object literal for the 'Source Multiplicity' containment reference feature.
*
*
* @generated
*/
EReference GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY = eINSTANCE.getGlobalRelationInterpretation_SourceMultiplicity();
/**
* The meta object literal for the 'Source' containment reference feature.
*
*
* @generated
*/
EReference GLOBAL_RELATION_INTERPRETATION__SOURCE = eINSTANCE.getGlobalRelationInterpretation_Source();
/**
* The meta object literal for the 'Target Multiplicity' containment reference feature.
*
*
* @generated
*/
EReference GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY = eINSTANCE.getGlobalRelationInterpretation_TargetMultiplicity();
/**
* The meta object literal for the 'Target' containment reference feature.
*
*
* @generated
*/
EReference GLOBAL_RELATION_INTERPRETATION__TARGET = eINSTANCE.getGlobalRelationInterpretation_Target();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl Multiplicity Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition()
* @generated
*/
EClass MULTIPLICITY_DEFINITION = eINSTANCE.getMultiplicityDefinition();
/**
* The meta object literal for the 'Lower' attribute feature.
*
*
* @generated
*/
EAttribute MULTIPLICITY_DEFINITION__LOWER = eINSTANCE.getMultiplicityDefinition_Lower();
/**
* The meta object literal for the 'Upper' attribute feature.
*
*
* @generated
*/
EAttribute MULTIPLICITY_DEFINITION__UPPER = eINSTANCE.getMultiplicityDefinition_Upper();
/**
* The meta object literal for the 'Unlimited Upper' attribute feature.
*
*
* @generated
*/
EAttribute MULTIPLICITY_DEFINITION__UNLIMITED_UPPER = eINSTANCE.getMultiplicityDefinition_UnlimitedUpper();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl Boolean True}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue()
* @generated
*/
EClass BOOLEAN_TRUE = eINSTANCE.getBooleanTrue();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl Boolean False}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse()
* @generated
*/
EClass BOOLEAN_FALSE = eINSTANCE.getBooleanFalse();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl True}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue()
* @generated
*/
EClass TRUE = eINSTANCE.getTrue();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl False}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse()
* @generated
*/
EClass FALSE = eINSTANCE.getFalse();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl Unknown}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown()
* @generated
*/
EClass UNKNOWN = eINSTANCE.getUnknown();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl Error}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError()
* @generated
*/
EClass ERROR = eINSTANCE.getError();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl Positive}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive()
* @generated
*/
EClass POSITIVE = eINSTANCE.getPositive();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl Negative}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative()
* @generated
*/
EClass NEGATIVE = eINSTANCE.getNegative();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl Reflexive Closure}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure()
* @generated
*/
EClass REFLEXIVE_CLOSURE = eINSTANCE.getReflexiveClosure();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl Irreflexive Closure}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure()
* @generated
*/
EClass IRREFLEXIVE_CLOSURE = eINSTANCE.getIrreflexiveClosure();
}
} //SolverLanguagePackage