/**
* 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 Include'.
*
*
* @return a new object of class 'VLS Include'.
* @generated
*/
VLSInclude createVLSInclude();
/**
* Returns a new object of class 'VLS Name'.
*
*
* @return a new object of class 'VLS Name'.
* @generated
*/
VLSName createVLSName();
/**
* 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 Satisfiable'.
*
*
* @return a new object of class 'VLS Satisfiable'.
* @generated
*/
VLSSatisfiable createVLSSatisfiable();
/**
* 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 Term'.
*
*
* @return a new object of class 'VLS Term'.
* @generated
*/
VLSTerm createVLSTerm();
/**
* 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 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 Real'.
*
*
* @return a new object of class 'VLS Real'.
* @generated
*/
VLSReal createVLSReal();
/**
* Returns a new object of class 'VLS Rational'.
*
*
* @return a new object of class 'VLS Rational'.
* @generated
*/
VLSRational createVLSRational();
/**
* 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