diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-10-13 13:35:03 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-10-13 13:35:03 +0200 |
| commit | fe2881fe9c09372ac4a5cc54e96b439d024dffd9 (patch) | |
| tree | 3504ac660491293154ca2cb566a68ba8ce635c39 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend | |
| parent | Refactoring of Alloy type mapping and interpretation. (diff) | |
| download | VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.gz VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.zst VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.zip | |
:lipstick:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend index 3b2e3390..397fb84b 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend | |||
| @@ -14,11 +14,9 @@ import java.util.ArrayList | |||
| 14 | import java.util.Collection | 14 | import java.util.Collection |
| 15 | import java.util.HashMap | 15 | import java.util.HashMap |
| 16 | import java.util.List | 16 | import java.util.List |
| 17 | import java.util.Map | ||
| 18 | 17 | ||
| 19 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 18 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
| 20 | 19 | ||
| 21 | |||
| 22 | /** | 20 | /** |
| 23 | * Each object is an element of an Object set, and types are subsets of the objects. | 21 | * Each object is an element of an Object set, and types are subsets of the objects. |
| 24 | */ | 22 | */ |