/**
*/
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
*
* - each class,
* - each feature of each class,
* - each operation of each class,
* - each enum,
* - and each data type
*
*
* @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
*
* - each class,
* - each feature of each class,
* - each operation of each class,
* - each enum,
* - and each data type
*
*
* @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