From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../model/logicresult/LogicresultPackage.java | 1353 ++++++++++++++++++++ 1 file changed, 1353 insertions(+) create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java new file mode 100644 index 00000000..cf171ab5 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java @@ -0,0 +1,1353 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory + * @model kind="package" + * @generated + */ +public interface LogicresultPackage extends EPackage { + /** + * The package name. + * + * + * @generated + */ + String eNAME = "logicresult"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/result"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "language"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + LogicresultPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl.init(); + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl Logic Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getLogicResult() + * @generated + */ + int LOGIC_RESULT = 0; + + /** + * The feature id for the 'Problem' reference. + * + * + * @generated + * @ordered + */ + int LOGIC_RESULT__PROBLEM = 0; + + /** + * The feature id for the 'Statistics' containment reference. + * + * + * @generated + * @ordered + */ + int LOGIC_RESULT__STATISTICS = 1; + + /** + * The feature id for the 'Trace' attribute. + * + * + * @generated + * @ordered + */ + int LOGIC_RESULT__TRACE = 2; + + /** + * The feature id for the 'Representation' attribute list. + * + * + * @generated + * @ordered + */ + int LOGIC_RESULT__REPRESENTATION = 3; + + /** + * The number of structural features of the 'Logic Result' class. + * + * + * @generated + * @ordered + */ + int LOGIC_RESULT_FEATURE_COUNT = 4; + + /** + * The number of operations of the 'Logic Result' class. + * + * + * @generated + * @ordered + */ + int LOGIC_RESULT_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl Model Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getModelResult() + * @generated + */ + int MODEL_RESULT = 1; + + /** + * The feature id for the 'Problem' reference. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM; + + /** + * The feature id for the 'Statistics' containment reference. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS; + + /** + * The feature id for the 'Trace' attribute. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT__TRACE = LOGIC_RESULT__TRACE; + + /** + * The feature id for the 'Representation' attribute list. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION; + + /** + * The feature id for the 'Max Integer' attribute. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT__MAX_INTEGER = LOGIC_RESULT_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Min Integer' attribute. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT__MIN_INTEGER = LOGIC_RESULT_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Model Result' class. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Model Result' class. + * + * + * @generated + * @ordered + */ + int MODEL_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl Inconsistency Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInconsistencyResult() + * @generated + */ + int INCONSISTENCY_RESULT = 2; + + /** + * The feature id for the 'Problem' reference. + * + * + * @generated + * @ordered + */ + int INCONSISTENCY_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM; + + /** + * The feature id for the 'Statistics' containment reference. + * + * + * @generated + * @ordered + */ + int INCONSISTENCY_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS; + + /** + * The feature id for the 'Trace' attribute. + * + * + * @generated + * @ordered + */ + int INCONSISTENCY_RESULT__TRACE = LOGIC_RESULT__TRACE; + + /** + * The feature id for the 'Representation' attribute list. + * + * + * @generated + * @ordered + */ + int INCONSISTENCY_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION; + + /** + * The number of structural features of the 'Inconsistency Result' class. + * + * + * @generated + * @ordered + */ + int INCONSISTENCY_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Inconsistency Result' class. + * + * + * @generated + * @ordered + */ + int INCONSISTENCY_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl Unknown Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUnknownResult() + * @generated + */ + int UNKNOWN_RESULT = 3; + + /** + * The feature id for the 'Problem' reference. + * + * + * @generated + * @ordered + */ + int UNKNOWN_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM; + + /** + * The feature id for the 'Statistics' containment reference. + * + * + * @generated + * @ordered + */ + int UNKNOWN_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS; + + /** + * The feature id for the 'Trace' attribute. + * + * + * @generated + * @ordered + */ + int UNKNOWN_RESULT__TRACE = LOGIC_RESULT__TRACE; + + /** + * The feature id for the 'Representation' attribute list. + * + * + * @generated + * @ordered + */ + int UNKNOWN_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION; + + /** + * The number of structural features of the 'Unknown Result' class. + * + * + * @generated + * @ordered + */ + int UNKNOWN_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Unknown Result' class. + * + * + * @generated + * @ordered + */ + int UNKNOWN_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl Insuficient Resources Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInsuficientResourcesResult() + * @generated + */ + int INSUFICIENT_RESOURCES_RESULT = 4; + + /** + * The feature id for the 'Problem' reference. + * + * + * @generated + * @ordered + */ + int INSUFICIENT_RESOURCES_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM; + + /** + * The feature id for the 'Statistics' containment reference. + * + * + * @generated + * @ordered + */ + int INSUFICIENT_RESOURCES_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS; + + /** + * The feature id for the 'Trace' attribute. + * + * + * @generated + * @ordered + */ + int INSUFICIENT_RESOURCES_RESULT__TRACE = UNKNOWN_RESULT__TRACE; + + /** + * The feature id for the 'Representation' attribute list. + * + * + * @generated + * @ordered + */ + int INSUFICIENT_RESOURCES_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION; + + /** + * The feature id for the 'Resource Name' attribute. + * + * + * @generated + * @ordered + */ + int INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME = UNKNOWN_RESULT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Insuficient Resources Result' class. + * + * + * @generated + * @ordered + */ + int INSUFICIENT_RESOURCES_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Insuficient Resources Result' class. + * + * + * @generated + * @ordered + */ + int INSUFICIENT_RESOURCES_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl Error Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getErrorResult() + * @generated + */ + int ERROR_RESULT = 5; + + /** + * The feature id for the 'Problem' reference. + * + * + * @generated + * @ordered + */ + int ERROR_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM; + + /** + * The feature id for the 'Statistics' containment reference. + * + * + * @generated + * @ordered + */ + int ERROR_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS; + + /** + * The feature id for the 'Trace' attribute. + * + * + * @generated + * @ordered + */ + int ERROR_RESULT__TRACE = UNKNOWN_RESULT__TRACE; + + /** + * The feature id for the 'Representation' attribute list. + * + * + * @generated + * @ordered + */ + int ERROR_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION; + + /** + * The feature id for the 'Message' attribute. + * + * + * @generated + * @ordered + */ + int ERROR_RESULT__MESSAGE = UNKNOWN_RESULT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Error Result' class. + * + * + * @generated + * @ordered + */ + int ERROR_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Error Result' class. + * + * + * @generated + * @ordered + */ + int ERROR_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl Statistics}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatistics() + * @generated + */ + int STATISTICS = 6; + + /** + * The feature id for the 'Entries' containment reference list. + * + * + * @generated + * @ordered + */ + int STATISTICS__ENTRIES = 0; + + /** + * The feature id for the 'Transformation Time' attribute. + * + * + * @generated + * @ordered + */ + int STATISTICS__TRANSFORMATION_TIME = 1; + + /** + * The feature id for the 'Solver Time' attribute. + * + * + * @generated + * @ordered + */ + int STATISTICS__SOLVER_TIME = 2; + + /** + * The feature id for the 'Solver Memory' attribute. + * + * + * @generated + * @ordered + */ + int STATISTICS__SOLVER_MEMORY = 3; + + /** + * The number of structural features of the 'Statistics' class. + * + * + * @generated + * @ordered + */ + int STATISTICS_FEATURE_COUNT = 4; + + /** + * The number of operations of the 'Statistics' class. + * + * + * @generated + * @ordered + */ + int STATISTICS_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatisticEntry() + * @generated + */ + int STATISTIC_ENTRY = 7; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int STATISTIC_ENTRY__NAME = 0; + + /** + * The number of structural features of the 'Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int STATISTIC_ENTRY_FEATURE_COUNT = 1; + + /** + * The number of operations of the 'Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int STATISTIC_ENTRY_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl Undecidable Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUndecidableResult() + * @generated + */ + int UNDECIDABLE_RESULT = 8; + + /** + * The feature id for the 'Problem' reference. + * + * + * @generated + * @ordered + */ + int UNDECIDABLE_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM; + + /** + * The feature id for the 'Statistics' containment reference. + * + * + * @generated + * @ordered + */ + int UNDECIDABLE_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS; + + /** + * The feature id for the 'Trace' attribute. + * + * + * @generated + * @ordered + */ + int UNDECIDABLE_RESULT__TRACE = UNKNOWN_RESULT__TRACE; + + /** + * The feature id for the 'Representation' attribute list. + * + * + * @generated + * @ordered + */ + int UNDECIDABLE_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION; + + /** + * The number of structural features of the 'Undecidable Result' class. + * + * + * @generated + * @ordered + */ + int UNDECIDABLE_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Undecidable Result' class. + * + * + * @generated + * @ordered + */ + int UNDECIDABLE_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl Int Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getIntStatisticEntry() + * @generated + */ + int INT_STATISTIC_ENTRY = 9; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int INT_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int INT_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Int Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int INT_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Int Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int INT_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl Real Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getRealStatisticEntry() + * @generated + */ + int REAL_STATISTIC_ENTRY = 10; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int REAL_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int REAL_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Real Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int REAL_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Real Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int REAL_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0; + + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl String Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStringStatisticEntry() + * @generated + */ + int STRING_STATISTIC_ENTRY = 11; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int STRING_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int STRING_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'String Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int STRING_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'String Statistic Entry' class. + * + * + * @generated + * @ordered + */ + int STRING_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0; + + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult Logic Result}'. + * + * + * @return the meta object for class 'Logic Result'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult + * @generated + */ + EClass getLogicResult(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem Problem}'. + * + * + * @return the meta object for the reference 'Problem'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem() + * @see #getLogicResult() + * @generated + */ + EReference getLogicResult_Problem(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics Statistics}'. + * + * + * @return the meta object for the containment reference 'Statistics'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics() + * @see #getLogicResult() + * @generated + */ + EReference getLogicResult_Statistics(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace Trace}'. + * + * + * @return the meta object for the attribute 'Trace'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace() + * @see #getLogicResult() + * @generated + */ + EAttribute getLogicResult_Trace(); + + /** + * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getRepresentation Representation}'. + * + * + * @return the meta object for the attribute list 'Representation'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getRepresentation() + * @see #getLogicResult() + * @generated + */ + EAttribute getLogicResult_Representation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult Model Result}'. + * + * + * @return the meta object for class 'Model Result'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult + * @generated + */ + EClass getModelResult(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger Max Integer}'. + * + * + * @return the meta object for the attribute 'Max Integer'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger() + * @see #getModelResult() + * @generated + */ + EAttribute getModelResult_MaxInteger(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger Min Integer}'. + * + * + * @return the meta object for the attribute 'Min Integer'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger() + * @see #getModelResult() + * @generated + */ + EAttribute getModelResult_MinInteger(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult Inconsistency Result}'. + * + * + * @return the meta object for class 'Inconsistency Result'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult + * @generated + */ + EClass getInconsistencyResult(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult Unknown Result}'. + * + * + * @return the meta object for class 'Unknown Result'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult + * @generated + */ + EClass getUnknownResult(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult Insuficient Resources Result}'. + * + * + * @return the meta object for class 'Insuficient Resources Result'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult + * @generated + */ + EClass getInsuficientResourcesResult(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName Resource Name}'. + * + * + * @return the meta object for the attribute 'Resource Name'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName() + * @see #getInsuficientResourcesResult() + * @generated + */ + EAttribute getInsuficientResourcesResult_ResourceName(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult Error Result}'. + * + * + * @return the meta object for class 'Error Result'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult + * @generated + */ + EClass getErrorResult(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage Message}'. + * + * + * @return the meta object for the attribute 'Message'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage() + * @see #getErrorResult() + * @generated + */ + EAttribute getErrorResult_Message(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics Statistics}'. + * + * + * @return the meta object for class 'Statistics'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics + * @generated + */ + EClass getStatistics(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getEntries Entries}'. + * + * + * @return the meta object for the containment reference list 'Entries'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getEntries() + * @see #getStatistics() + * @generated + */ + EReference getStatistics_Entries(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime Transformation Time}'. + * + * + * @return the meta object for the attribute 'Transformation Time'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime() + * @see #getStatistics() + * @generated + */ + EAttribute getStatistics_TransformationTime(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime Solver Time}'. + * + * + * @return the meta object for the attribute 'Solver Time'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime() + * @see #getStatistics() + * @generated + */ + EAttribute getStatistics_SolverTime(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory Solver Memory}'. + * + * + * @return the meta object for the attribute 'Solver Memory'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory() + * @see #getStatistics() + * @generated + */ + EAttribute getStatistics_SolverMemory(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry Statistic Entry}'. + * + * + * @return the meta object for class 'Statistic Entry'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry + * @generated + */ + EClass getStatisticEntry(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry#getName() + * @see #getStatisticEntry() + * @generated + */ + EAttribute getStatisticEntry_Name(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult Undecidable Result}'. + * + * + * @return the meta object for class 'Undecidable Result'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult + * @generated + */ + EClass getUndecidableResult(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry Int Statistic Entry}'. + * + * + * @return the meta object for class 'Int Statistic Entry'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry + * @generated + */ + EClass getIntStatisticEntry(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue() + * @see #getIntStatisticEntry() + * @generated + */ + EAttribute getIntStatisticEntry_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry Real Statistic Entry}'. + * + * + * @return the meta object for class 'Real Statistic Entry'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry + * @generated + */ + EClass getRealStatisticEntry(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue() + * @see #getRealStatisticEntry() + * @generated + */ + EAttribute getRealStatisticEntry_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry String Statistic Entry}'. + * + * + * @return the meta object for class 'String Statistic Entry'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry + * @generated + */ + EClass getStringStatisticEntry(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue() + * @see #getStringStatisticEntry() + * @generated + */ + EAttribute getStringStatisticEntry_Value(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + LogicresultFactory getLogicresultFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals { + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl Logic Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getLogicResult() + * @generated + */ + EClass LOGIC_RESULT = eINSTANCE.getLogicResult(); + + /** + * The meta object literal for the 'Problem' reference feature. + * + * + * @generated + */ + EReference LOGIC_RESULT__PROBLEM = eINSTANCE.getLogicResult_Problem(); + + /** + * The meta object literal for the 'Statistics' containment reference feature. + * + * + * @generated + */ + EReference LOGIC_RESULT__STATISTICS = eINSTANCE.getLogicResult_Statistics(); + + /** + * The meta object literal for the 'Trace' attribute feature. + * + * + * @generated + */ + EAttribute LOGIC_RESULT__TRACE = eINSTANCE.getLogicResult_Trace(); + + /** + * The meta object literal for the 'Representation' attribute list feature. + * + * + * @generated + */ + EAttribute LOGIC_RESULT__REPRESENTATION = eINSTANCE.getLogicResult_Representation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl Model Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getModelResult() + * @generated + */ + EClass MODEL_RESULT = eINSTANCE.getModelResult(); + + /** + * The meta object literal for the 'Max Integer' attribute feature. + * + * + * @generated + */ + EAttribute MODEL_RESULT__MAX_INTEGER = eINSTANCE.getModelResult_MaxInteger(); + + /** + * The meta object literal for the 'Min Integer' attribute feature. + * + * + * @generated + */ + EAttribute MODEL_RESULT__MIN_INTEGER = eINSTANCE.getModelResult_MinInteger(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl Inconsistency Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInconsistencyResult() + * @generated + */ + EClass INCONSISTENCY_RESULT = eINSTANCE.getInconsistencyResult(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl Unknown Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUnknownResult() + * @generated + */ + EClass UNKNOWN_RESULT = eINSTANCE.getUnknownResult(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl Insuficient Resources Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInsuficientResourcesResult() + * @generated + */ + EClass INSUFICIENT_RESOURCES_RESULT = eINSTANCE.getInsuficientResourcesResult(); + + /** + * The meta object literal for the 'Resource Name' attribute feature. + * + * + * @generated + */ + EAttribute INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME = eINSTANCE.getInsuficientResourcesResult_ResourceName(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl Error Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getErrorResult() + * @generated + */ + EClass ERROR_RESULT = eINSTANCE.getErrorResult(); + + /** + * The meta object literal for the 'Message' attribute feature. + * + * + * @generated + */ + EAttribute ERROR_RESULT__MESSAGE = eINSTANCE.getErrorResult_Message(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl Statistics}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatistics() + * @generated + */ + EClass STATISTICS = eINSTANCE.getStatistics(); + + /** + * The meta object literal for the 'Entries' containment reference list feature. + * + * + * @generated + */ + EReference STATISTICS__ENTRIES = eINSTANCE.getStatistics_Entries(); + + /** + * The meta object literal for the 'Transformation Time' attribute feature. + * + * + * @generated + */ + EAttribute STATISTICS__TRANSFORMATION_TIME = eINSTANCE.getStatistics_TransformationTime(); + + /** + * The meta object literal for the 'Solver Time' attribute feature. + * + * + * @generated + */ + EAttribute STATISTICS__SOLVER_TIME = eINSTANCE.getStatistics_SolverTime(); + + /** + * The meta object literal for the 'Solver Memory' attribute feature. + * + * + * @generated + */ + EAttribute STATISTICS__SOLVER_MEMORY = eINSTANCE.getStatistics_SolverMemory(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatisticEntry() + * @generated + */ + EClass STATISTIC_ENTRY = eINSTANCE.getStatisticEntry(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute STATISTIC_ENTRY__NAME = eINSTANCE.getStatisticEntry_Name(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl Undecidable Result}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUndecidableResult() + * @generated + */ + EClass UNDECIDABLE_RESULT = eINSTANCE.getUndecidableResult(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl Int Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getIntStatisticEntry() + * @generated + */ + EClass INT_STATISTIC_ENTRY = eINSTANCE.getIntStatisticEntry(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute INT_STATISTIC_ENTRY__VALUE = eINSTANCE.getIntStatisticEntry_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl Real Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getRealStatisticEntry() + * @generated + */ + EClass REAL_STATISTIC_ENTRY = eINSTANCE.getRealStatisticEntry(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute REAL_STATISTIC_ENTRY__VALUE = eINSTANCE.getRealStatisticEntry_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl String Statistic Entry}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStringStatisticEntry() + * @generated + */ + EClass STRING_STATISTIC_ENTRY = eINSTANCE.getStringStatisticEntry(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute STRING_STATISTIC_ENTRY__VALUE = eINSTANCE.getStringStatisticEntry_Value(); + + } + +} //LogicresultPackage -- cgit v1.2.3-54-g00ecf