/** * generated by Xtext 2.12.0 */ package ca.mcgill.ecse.dslreasoner.vampireLanguage; import org.eclipse.emf.common.util.EList; /** * * A representation of the model object 'VLS Function Fof'. * * *
* The following features are supported: *
** If the meaning of the 'Functor' attribute isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Functor' attribute. * @see #setFunctor(String) * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSFunctionFof_Functor() * @model * @generated */ String getFunctor(); /** * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor Functor}' attribute. * * * @param value the new value of the 'Functor' attribute. * @see #getFunctor() * @generated */ void setFunctor(String value); /** * Returns the value of the 'Terms' containment reference list. * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm}. * ** If the meaning of the 'Terms' containment reference list isn't clear, * there really should be more of a description here... *
* * @return the value of the 'Terms' containment reference list. * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSFunctionFof_Terms() * @model containment="true" * @generated */ EList