/**
*/
package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
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.logicproblem.LogicproblemPackage
* @generated
*/
public interface LogicproblemFactory extends EFactory {
/**
* The singleton instance of the factory.
*
*
* @generated
*/
LogicproblemFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemFactoryImpl.init();
/**
* Returns a new object of class 'Logic Problem'.
*
*
* @return a new object of class 'Logic Problem'.
* @generated
*/
LogicProblem createLogicProblem();
/**
* Returns a new object of class 'Containment Hierarchy'.
*
*
* @return a new object of class 'Containment Hierarchy'.
* @generated
*/
ContainmentHierarchy createContainmentHierarchy();
/**
* Returns a new object of class 'Relation Annotation'.
*
*
* @return a new object of class 'Relation Annotation'.
* @generated
*/
RelationAnnotation createRelationAnnotation();
/**
* Returns a new object of class 'Constant Annotation'.
*
*
* @return a new object of class 'Constant Annotation'.
* @generated
*/
ConstantAnnotation createConstantAnnotation();
/**
* Returns a new object of class 'Function Annotation'.
*
*
* @return a new object of class 'Function Annotation'.
* @generated
*/
FunctionAnnotation createFunctionAnnotation();
/**
* Returns a new object of class 'Assertion Annotation'.
*
*
* @return a new object of class 'Assertion Annotation'.
* @generated
*/
AssertionAnnotation createAssertionAnnotation();
/**
* Returns a new object of class 'Annotation'.
*
*
* @return a new object of class 'Annotation'.
* @generated
*/
Annotation createAnnotation();
/**
* Returns the package supported by this factory.
*
*
* @return the package supported by this factory.
* @generated
*/
LogicproblemPackage getLogicproblemPackage();
} //LogicproblemFactory