/** */ package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; 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.logiclanguage.LogiclanguagePackage * @generated */ public interface LogiclanguageFactory extends EFactory { /** * The singleton instance of the factory. * * * @generated */ LogiclanguageFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguageFactoryImpl.init(); /** * Returns a new object of class 'Defined Element'. * * * @return a new object of class 'Defined Element'. * @generated */ DefinedElement createDefinedElement(); /** * Returns a new object of class 'Type Definition'. * * * @return a new object of class 'Type Definition'. * @generated */ TypeDefinition createTypeDefinition(); /** * Returns a new object of class 'Complex Type Reference'. * * * @return a new object of class 'Complex Type Reference'. * @generated */ ComplexTypeReference createComplexTypeReference(); /** * Returns a new object of class 'Int Type Reference'. * * * @return a new object of class 'Int Type Reference'. * @generated */ IntTypeReference createIntTypeReference(); /** * Returns a new object of class 'Bool Type Reference'. * * * @return a new object of class 'Bool Type Reference'. * @generated */ BoolTypeReference createBoolTypeReference(); /** * Returns a new object of class 'Real Type Reference'. * * * @return a new object of class 'Real Type Reference'. * @generated */ RealTypeReference createRealTypeReference(); /** * Returns a new object of class 'Symbolic Value'. * * * @return a new object of class 'Symbolic Value'. * @generated */ SymbolicValue createSymbolicValue(); /** * Returns a new object of class 'Int Literal'. * * * @return a new object of class 'Int Literal'. * @generated */ IntLiteral createIntLiteral(); /** * Returns a new object of class 'Bool Literal'. * * * @return a new object of class 'Bool Literal'. * @generated */ BoolLiteral createBoolLiteral(); /** * Returns a new object of class 'Real Literal'. * * * @return a new object of class 'Real Literal'. * @generated */ RealLiteral createRealLiteral(); /** * Returns a new object of class 'Variable'. * * * @return a new object of class 'Variable'. * @generated */ Variable createVariable(); /** * Returns a new object of class 'Exists'. * * * @return a new object of class 'Exists'. * @generated */ Exists createExists(); /** * Returns a new object of class 'Forall'. * * * @return a new object of class 'Forall'. * @generated */ Forall createForall(); /** * Returns a new object of class 'And'. * * * @return a new object of class 'And'. * @generated */ And createAnd(); /** * Returns a new object of class 'Or'. * * * @return a new object of class 'Or'. * @generated */ Or createOr(); /** * Returns a new object of class 'Impl'. * * * @return a new object of class 'Impl'. * @generated */ Impl createImpl(); /** * Returns a new object of class 'Not'. * * * @return a new object of class 'Not'. * @generated */ Not createNot(); /** * Returns a new object of class 'Iff'. * * * @return a new object of class 'Iff'. * @generated */ Iff createIff(); /** * Returns a new object of class 'Equals'. * * * @return a new object of class 'Equals'. * @generated */ Equals createEquals(); /** * Returns a new object of class 'Distinct'. * * * @return a new object of class 'Distinct'. * @generated */ Distinct createDistinct(); /** * Returns a new object of class 'Less Than'. * * * @return a new object of class 'Less Than'. * @generated */ LessThan createLessThan(); /** * Returns a new object of class 'More Than'. * * * @return a new object of class 'More Than'. * @generated */ MoreThan createMoreThan(); /** * Returns a new object of class 'Less Or Equal Than'. * * * @return a new object of class 'Less Or Equal Than'. * @generated */ LessOrEqualThan createLessOrEqualThan(); /** * Returns a new object of class 'More Or Equal Than'. * * * @return a new object of class 'More Or Equal Than'. * @generated */ MoreOrEqualThan createMoreOrEqualThan(); /** * Returns a new object of class 'Plus'. * * * @return a new object of class 'Plus'. * @generated */ Plus createPlus(); /** * Returns a new object of class 'Minus'. * * * @return a new object of class 'Minus'. * @generated */ Minus createMinus(); /** * Returns a new object of class 'Multiply'. * * * @return a new object of class 'Multiply'. * @generated */ Multiply createMultiply(); /** * Returns a new object of class 'Divison'. * * * @return a new object of class 'Divison'. * @generated */ Divison createDivison(); /** * Returns a new object of class 'Mod'. * * * @return a new object of class 'Mod'. * @generated */ Mod createMod(); /** * Returns a new object of class 'Assertion'. * * * @return a new object of class 'Assertion'. * @generated */ Assertion createAssertion(); /** * Returns a new object of class 'Constant Definition'. * * * @return a new object of class 'Constant Definition'. * @generated */ ConstantDefinition createConstantDefinition(); /** * Returns a new object of class 'Relation Definition'. * * * @return a new object of class 'Relation Definition'. * @generated */ RelationDefinition createRelationDefinition(); /** * Returns a new object of class 'Function Definition'. * * * @return a new object of class 'Function Definition'. * @generated */ FunctionDefinition createFunctionDefinition(); /** * Returns a new object of class 'If Then Else'. * * * @return a new object of class 'If Then Else'. * @generated */ IfThenElse createIfThenElse(); /** * Returns a new object of class 'Constant Declaration'. * * * @return a new object of class 'Constant Declaration'. * @generated */ ConstantDeclaration createConstantDeclaration(); /** * Returns a new object of class 'Relation Declaration'. * * * @return a new object of class 'Relation Declaration'. * @generated */ RelationDeclaration createRelationDeclaration(); /** * Returns a new object of class 'Function Declaration'. * * * @return a new object of class 'Function Declaration'. * @generated */ FunctionDeclaration createFunctionDeclaration(); /** * Returns a new object of class 'Type Declaration'. * * * @return a new object of class 'Type Declaration'. * @generated */ TypeDeclaration createTypeDeclaration(); /** * Returns a new object of class 'Unknown Because Uninterpreted'. * * * @return a new object of class 'Unknown Because Uninterpreted'. * @generated */ UnknownBecauseUninterpreted createUnknownBecauseUninterpreted(); /** * Returns a new object of class 'Instance Of'. * * * @return a new object of class 'Instance Of'. * @generated */ InstanceOf createInstanceOf(); /** * Returns a new object of class 'String Type Reference'. * * * @return a new object of class 'String Type Reference'. * @generated */ StringTypeReference createStringTypeReference(); /** * Returns a new object of class 'String Literal'. * * * @return a new object of class 'String Literal'. * @generated */ StringLiteral createStringLiteral(); /** * Returns a new object of class 'Transitive Closure'. * * * @return a new object of class 'Transitive Closure'. * @generated */ TransitiveClosure createTransitiveClosure(); /** * Returns the package supported by this factory. * * * @return the package supported by this factory. * @generated */ LogiclanguagePackage getLogiclanguagePackage(); } //LogiclanguageFactory