/** */ 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