/**
*/
package hu.bme.mit.inf.dslreasoner.logic.model.logicresult;
import org.eclipse.emf.ecore.EFactory;
/**
*
* The Factory for the model.
* It provides a create method for each non-abstract class of the model.
*
* @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage
* @generated
*/
public interface LogicresultFactory extends EFactory {
/**
* The singleton instance of the factory.
*
*
* @generated
*/
LogicresultFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultFactoryImpl.init();
/**
* Returns a new object of class 'Model Result'.
*
*
* @return a new object of class 'Model Result'.
* @generated
*/
ModelResult createModelResult();
/**
* Returns a new object of class 'Inconsistency Result'.
*
*
* @return a new object of class 'Inconsistency Result'.
* @generated
*/
InconsistencyResult createInconsistencyResult();
/**
* Returns a new object of class 'Insuficient Resources Result'.
*
*
* @return a new object of class 'Insuficient Resources Result'.
* @generated
*/
InsuficientResourcesResult createInsuficientResourcesResult();
/**
* Returns a new object of class 'Error Result'.
*
*
* @return a new object of class 'Error Result'.
* @generated
*/
ErrorResult createErrorResult();
/**
* Returns a new object of class 'Statistics'.
*
*
* @return a new object of class 'Statistics'.
* @generated
*/
Statistics createStatistics();
/**
* Returns a new object of class 'Undecidable Result'.
*
*
* @return a new object of class 'Undecidable Result'.
* @generated
*/
UndecidableResult createUndecidableResult();
/**
* Returns a new object of class 'Int Statistic Entry'.
*
*
* @return a new object of class 'Int Statistic Entry'.
* @generated
*/
IntStatisticEntry createIntStatisticEntry();
/**
* Returns a new object of class 'Real Statistic Entry'.
*
*
* @return a new object of class 'Real Statistic Entry'.
* @generated
*/
RealStatisticEntry createRealStatisticEntry();
/**
* Returns a new object of class 'String Statistic Entry'.
*
*
* @return a new object of class 'String Statistic Entry'.
* @generated
*/
StringStatisticEntry createStringStatisticEntry();
/**
* Returns the package supported by this factory.
*
*
* @return the package supported by this factory.
* @generated
*/
LogicresultPackage getLogicresultPackage();
} //LogicresultFactory