aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-03-04 17:31:16 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-03-04 17:31:16 -0500
commit2c05097ccbeeadd70b20f5001ebeb22ffdc465de (patch)
tree88662460674d49bff71d051d3a59a0929f1cfa5f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
parentcomplete vsconfig files #19 (diff)
downloadVIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.gz
VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.zst
VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.zip
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java18
1 files changed, 0 insertions, 18 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
index a89885ee..84b65a59 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
@@ -78,24 +78,6 @@ public interface VampireLanguageFactory extends EFactory
78 VLSSatisfiable createVLSSatisfiable(); 78 VLSSatisfiable createVLSSatisfiable();
79 79
80 /** 80 /**
81 * Returns a new object of class '<em>VLS Trying</em>'.
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @return a new object of class '<em>VLS Trying</em>'.
85 * @generated
86 */
87 VLSTrying createVLSTrying();
88
89 /**
90 * Returns a new object of class '<em>VLS Finite Model</em>'.
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @return a new object of class '<em>VLS Finite Model</em>'.
94 * @generated
95 */
96 VLSFiniteModel createVLSFiniteModel();
97
98 /**
99 * Returns a new object of class '<em>VLS Fof Formula</em>'. 81 * Returns a new object of class '<em>VLS Fof Formula</em>'.
100 * <!-- begin-user-doc --> 82 * <!-- begin-user-doc -->
101 * <!-- end-user-doc --> 83 * <!-- end-user-doc -->