/**
*/
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 a new object of class 'Pow'.
*
*
* @return a new object of class 'Pow'.
* @generated
*/
Pow createPow();
/**
* Returns a new object of class 'Sum'.
*
*
* @return a new object of class 'Sum'.
* @generated
*/
Sum createSum();
/**
* Returns a new object of class 'Count'.
*
*
* @return a new object of class 'Count'.
* @generated
*/
Count createCount();
/**
* Returns a new object of class 'Min'.
*
*
* @return a new object of class 'Min'.
* @generated
*/
Min createMin();
/**
* Returns a new object of class 'Max'.
*
*
* @return a new object of class 'Max'.
* @generated
*/
Max createMax();
/**
* Returns the package supported by this factory.
*
*
* @return the package supported by this factory.
* @generated
*/
LogiclanguagePackage getLogiclanguagePackage();
} //LogiclanguageFactory