diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java index 90781f47..41e073ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | |||
@@ -106,16 +106,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
106 | return createVLSSatisfiableAdapter(); | 106 | return createVLSSatisfiableAdapter(); |
107 | } | 107 | } |
108 | @Override | 108 | @Override |
109 | public Adapter caseVLSTrying(VLSTrying object) | ||
110 | { | ||
111 | return createVLSTryingAdapter(); | ||
112 | } | ||
113 | @Override | ||
114 | public Adapter caseVLSFiniteModel(VLSFiniteModel object) | ||
115 | { | ||
116 | return createVLSFiniteModelAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter caseVLSFofFormula(VLSFofFormula object) | 109 | public Adapter caseVLSFofFormula(VLSFofFormula object) |
120 | { | 110 | { |
121 | return createVLSFofFormulaAdapter(); | 111 | return createVLSFofFormulaAdapter(); |
@@ -378,36 +368,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
378 | } | 368 | } |
379 | 369 | ||
380 | /** | 370 | /** |
381 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'. | ||
382 | * <!-- begin-user-doc --> | ||
383 | * This default implementation returns null so that we can easily ignore cases; | ||
384 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
385 | * <!-- end-user-doc --> | ||
386 | * @return the new adapter. | ||
387 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying | ||
388 | * @generated | ||
389 | */ | ||
390 | public Adapter createVLSTryingAdapter() | ||
391 | { | ||
392 | return null; | ||
393 | } | ||
394 | |||
395 | /** | ||
396 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'. | ||
397 | * <!-- begin-user-doc --> | ||
398 | * This default implementation returns null so that we can easily ignore cases; | ||
399 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
400 | * <!-- end-user-doc --> | ||
401 | * @return the new adapter. | ||
402 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel | ||
403 | * @generated | ||
404 | */ | ||
405 | public Adapter createVLSFiniteModelAdapter() | ||
406 | { | ||
407 | return null; | ||
408 | } | ||
409 | |||
410 | /** | ||
411 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. | 371 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. |
412 | * <!-- begin-user-doc --> | 372 | * <!-- begin-user-doc --> |
413 | * This default implementation returns null so that we can easily ignore cases; | 373 | * This default implementation returns null so that we can easily ignore cases; |