/** * 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