/**
* generated by Xtext 2.14.0
*/
package ca.mcgill.ecse.dslreasoner.vampireLanguage;
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 ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage
* @generated
*/
public interface VampireLanguageFactory extends EFactory
{
/**
* The singleton instance of the factory.
*
*
* @generated
*/
VampireLanguageFactory eINSTANCE = ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguageFactoryImpl.init();
/**
* Returns a new object of class 'Vampire Model'.
*
*
* @return a new object of class 'Vampire Model'.
* @generated
*/
VampireModel createVampireModel();
/**
* Returns a new object of class 'VLS Comment'.
*
*
* @return a new object of class 'VLS Comment'.
* @generated
*/
VLSComment createVLSComment();
/**
* Returns a new object of class 'VLS Confirmations'.
*
*
* @return a new object of class 'VLS Confirmations'.
* @generated
*/
VLSConfirmations createVLSConfirmations();
/**
* Returns a new object of class 'VLS Fof Formula'.
*
*
* @return a new object of class 'VLS Fof Formula'.
* @generated
*/
VLSFofFormula createVLSFofFormula();
/**
* Returns a new object of class 'VLS Tff Formula'.
*
*
* @return a new object of class 'VLS Tff Formula'.
* @generated
*/
VLSTffFormula createVLSTffFormula();
/**
* Returns a new object of class 'VLS Annotation'.
*
*
* @return a new object of class 'VLS Annotation'.
* @generated
*/
VLSAnnotation createVLSAnnotation();
/**
* Returns a new object of class 'VLS Tff Term'.
*
*
* @return a new object of class 'VLS Tff Term'.
* @generated
*/
VLSTffTerm createVLSTffTerm();
/**
* Returns a new object of class 'VLS Term'.
*
*
* @return a new object of class 'VLS Term'.
* @generated
*/
VLSTerm createVLSTerm();
/**
* Returns a new object of class 'VLS Declaration'.
*
*
* @return a new object of class 'VLS Declaration'.
* @generated
*/
VLSDeclaration createVLSDeclaration();
/**
* Returns a new object of class 'VLS Other Declaration'.
*
*
* @return a new object of class 'VLS Other Declaration'.
* @generated
*/
VLSOtherDeclaration createVLSOtherDeclaration();
/**
* Returns a new object of class 'VLS Variable Declaration'.
*
*
* @return a new object of class 'VLS Variable Declaration'.
* @generated
*/
VLSVariableDeclaration createVLSVariableDeclaration();
/**
* Returns a new object of class 'VLS Type Def'.
*
*
* @return a new object of class 'VLS Type Def'.
* @generated
*/
VLSTypeDef createVLSTypeDef();
/**
* Returns a new object of class 'VLS Variable'.
*
*
* @return a new object of class 'VLS Variable'.
* @generated
*/
VLSVariable createVLSVariable();
/**
* Returns a new object of class 'VLS Function As Term'.
*
*
* @return a new object of class 'VLS Function As Term'.
* @generated
*/
VLSFunctionAsTerm createVLSFunctionAsTerm();
/**
* Returns a new object of class 'VLS Defined Term'.
*
*
* @return a new object of class 'VLS Defined Term'.
* @generated
*/
VLSDefinedTerm createVLSDefinedTerm();
/**
* Returns a new object of class 'VLS Satisfiable'.
*
*
* @return a new object of class 'VLS Satisfiable'.
* @generated
*/
VLSSatisfiable createVLSSatisfiable();
/**
* Returns a new object of class 'VLS Warning'.
*
*
* @return a new object of class 'VLS Warning'.
* @generated
*/
VLSWarning createVLSWarning();
/**
* Returns a new object of class 'VLS Trying'.
*
*
* @return a new object of class 'VLS Trying'.
* @generated
*/
VLSTrying createVLSTrying();
/**
* Returns a new object of class 'VLS Finite Model'.
*
*
* @return a new object of class 'VLS Finite Model'.
* @generated
*/
VLSFiniteModel createVLSFiniteModel();
/**
* Returns a new object of class 'VLS Equivalent'.
*
*
* @return a new object of class 'VLS Equivalent'.
* @generated
*/
VLSEquivalent createVLSEquivalent();
/**
* Returns a new object of class 'VLS Implies'.
*
*
* @return a new object of class 'VLS Implies'.
* @generated
*/
VLSImplies createVLSImplies();
/**
* Returns a new object of class 'VLS Rev Implies'.
*
*
* @return a new object of class 'VLS Rev Implies'.
* @generated
*/
VLSRevImplies createVLSRevImplies();
/**
* Returns a new object of class 'VLS Xnor'.
*
*
* @return a new object of class 'VLS Xnor'.
* @generated
*/
VLSXnor createVLSXnor();
/**
* Returns a new object of class 'VLS Nor'.
*
*
* @return a new object of class 'VLS Nor'.
* @generated
*/
VLSNor createVLSNor();
/**
* Returns a new object of class 'VLS Nand'.
*
*
* @return a new object of class 'VLS Nand'.
* @generated
*/
VLSNand createVLSNand();
/**
* Returns a new object of class 'VLS And'.
*
*
* @return a new object of class 'VLS And'.
* @generated
*/
VLSAnd createVLSAnd();
/**
* Returns a new object of class 'VLS Or'.
*
*
* @return a new object of class 'VLS Or'.
* @generated
*/
VLSOr createVLSOr();
/**
* Returns a new object of class 'VLS Universal Quantifier'.
*
*
* @return a new object of class 'VLS Universal Quantifier'.
* @generated
*/
VLSUniversalQuantifier createVLSUniversalQuantifier();
/**
* Returns a new object of class 'VLS Existential Quantifier'.
*
*
* @return a new object of class 'VLS Existential Quantifier'.
* @generated
*/
VLSExistentialQuantifier createVLSExistentialQuantifier();
/**
* Returns a new object of class 'VLS Unary Negation'.
*
*
* @return a new object of class 'VLS Unary Negation'.
* @generated
*/
VLSUnaryNegation createVLSUnaryNegation();
/**
* Returns a new object of class 'VLS Inequality'.
*
*
* @return a new object of class 'VLS Inequality'.
* @generated
*/
VLSInequality createVLSInequality();
/**
* Returns a new object of class 'VLS Equality'.
*
*
* @return a new object of class 'VLS Equality'.
* @generated
*/
VLSEquality createVLSEquality();
/**
* Returns a new object of class 'VLS Assignment'.
*
*
* @return a new object of class 'VLS Assignment'.
* @generated
*/
VLSAssignment createVLSAssignment();
/**
* Returns a new object of class 'VLS Constant'.
*
*
* @return a new object of class 'VLS Constant'.
* @generated
*/
VLSConstant createVLSConstant();
/**
* Returns a new object of class 'VLS True'.
*
*
* @return a new object of class 'VLS True'.
* @generated
*/
VLSTrue createVLSTrue();
/**
* Returns a new object of class 'VLS False'.
*
*
* @return a new object of class 'VLS False'.
* @generated
*/
VLSFalse createVLSFalse();
/**
* Returns a new object of class 'VLS Function'.
*
*
* @return a new object of class 'VLS Function'.
* @generated
*/
VLSFunction createVLSFunction();
/**
* Returns a new object of class 'VLS Less'.
*
*
* @return a new object of class 'VLS Less'.
* @generated
*/
VLSLess createVLSLess();
/**
* Returns a new object of class 'VLS Int'.
*
*
* @return a new object of class 'VLS Int'.
* @generated
*/
VLSInt createVLSInt();
/**
* Returns a new object of class 'VLS Double Quote'.
*
*
* @return a new object of class 'VLS Double Quote'.
* @generated
*/
VLSDoubleQuote createVLSDoubleQuote();
/**
* Returns the package supported by this factory.
*
*
* @return the package supported by this factory.
* @generated
*/
VampireLanguagePackage getVampireLanguagePackage();
} //VampireLanguageFactory