diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend index 195b89bb..680213ab 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend | |||
@@ -273,15 +273,11 @@ class Logic2VampireLanguageMapper_Support { | |||
273 | } | 273 | } |
274 | } | 274 | } |
275 | 275 | ||
276 | def protected List<Type> listSubtypes(Type t) { | 276 | def protected void listSubtypes(Type t, List<Type> allSubtypes) { |
277 | var List<Type> allSubtypes = newArrayList | 277 | for (subt : t.subtypes) { |
278 | if (!t.subtypes.isEmpty) { | 278 | allSubtypes.add(subt) |
279 | for (subt : t.subtypes) { | 279 | listSubtypes(subt, allSubtypes) |
280 | allSubtypes.add(subt) | ||
281 | allSubtypes = listSubtypes(subt) | ||
282 | } | ||
283 | } | 280 | } |
284 | return allSubtypes | ||
285 | } | 281 | } |
286 | 282 | ||
287 | def protected withAddition(Map<Variable, VLSVariable> map1, Map<Variable, VLSVariable> map2) { | 283 | def protected withAddition(Map<Variable, VLSVariable> map1, Map<Variable, VLSVariable> map2) { |