diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java index a574b641..fa4741a0 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java | |||
@@ -15,7 +15,7 @@ import org.eclipse.emf.ecore.EObject; | |||
15 | * </p> | 15 | * </p> |
16 | * <ul> | 16 | * <ul> |
17 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName <em>Name</em>}</li> | 17 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName <em>Name</em>}</li> |
18 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole <em>Fof Role</em>}</li> | 18 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getTffRole <em>Tff Role</em>}</li> |
19 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}</li> | 19 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}</li> |
20 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations <em>Annotations</em>}</li> | 20 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations <em>Annotations</em>}</li> |
21 | * </ul> | 21 | * </ul> |
@@ -53,30 +53,30 @@ public interface VLSTffFormula extends EObject | |||
53 | void setName(String value); | 53 | void setName(String value); |
54 | 54 | ||
55 | /** | 55 | /** |
56 | * Returns the value of the '<em><b>Fof Role</b></em>' attribute. | 56 | * Returns the value of the '<em><b>Tff Role</b></em>' attribute. |
57 | * <!-- begin-user-doc --> | 57 | * <!-- begin-user-doc --> |
58 | * <p> | 58 | * <p> |
59 | * If the meaning of the '<em>Fof Role</em>' attribute isn't clear, | 59 | * If the meaning of the '<em>Tff Role</em>' attribute isn't clear, |
60 | * there really should be more of a description here... | 60 | * there really should be more of a description here... |
61 | * </p> | 61 | * </p> |
62 | * <!-- end-user-doc --> | 62 | * <!-- end-user-doc --> |
63 | * @return the value of the '<em>Fof Role</em>' attribute. | 63 | * @return the value of the '<em>Tff Role</em>' attribute. |
64 | * @see #setFofRole(String) | 64 | * @see #setTffRole(String) |
65 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_FofRole() | 65 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_TffRole() |
66 | * @model | 66 | * @model |
67 | * @generated | 67 | * @generated |
68 | */ | 68 | */ |
69 | String getFofRole(); | 69 | String getTffRole(); |
70 | 70 | ||
71 | /** | 71 | /** |
72 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole <em>Fof Role</em>}' attribute. | 72 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getTffRole <em>Tff Role</em>}' attribute. |
73 | * <!-- begin-user-doc --> | 73 | * <!-- begin-user-doc --> |
74 | * <!-- end-user-doc --> | 74 | * <!-- end-user-doc --> |
75 | * @param value the new value of the '<em>Fof Role</em>' attribute. | 75 | * @param value the new value of the '<em>Tff Role</em>' attribute. |
76 | * @see #getFofRole() | 76 | * @see #getTffRole() |
77 | * @generated | 77 | * @generated |
78 | */ | 78 | */ |
79 | void setFofRole(String value); | 79 | void setTffRole(String value); |
80 | 80 | ||
81 | /** | 81 | /** |
82 | * Returns the value of the '<em><b>Fof Formula</b></em>' containment reference. | 82 | * Returns the value of the '<em><b>Fof Formula</b></em>' containment reference. |
@@ -87,12 +87,12 @@ public interface VLSTffFormula extends EObject | |||
87 | * </p> | 87 | * </p> |
88 | * <!-- end-user-doc --> | 88 | * <!-- end-user-doc --> |
89 | * @return the value of the '<em>Fof Formula</em>' containment reference. | 89 | * @return the value of the '<em>Fof Formula</em>' containment reference. |
90 | * @see #setFofFormula(VLSTerm) | 90 | * @see #setFofFormula(VLSTffTerm) |
91 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_FofFormula() | 91 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_FofFormula() |
92 | * @model containment="true" | 92 | * @model containment="true" |
93 | * @generated | 93 | * @generated |
94 | */ | 94 | */ |
95 | VLSTerm getFofFormula(); | 95 | VLSTffTerm getFofFormula(); |
96 | 96 | ||
97 | /** | 97 | /** |
98 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}' containment reference. | 98 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}' containment reference. |
@@ -102,7 +102,7 @@ public interface VLSTffFormula extends EObject | |||
102 | * @see #getFofFormula() | 102 | * @see #getFofFormula() |
103 | * @generated | 103 | * @generated |
104 | */ | 104 | */ |
105 | void setFofFormula(VLSTerm value); | 105 | void setFofFormula(VLSTffTerm value); |
106 | 106 | ||
107 | /** | 107 | /** |
108 | * Returns the value of the '<em><b>Annotations</b></em>' containment reference. | 108 | * Returns the value of the '<em><b>Annotations</b></em>' containment reference. |