diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-07 12:47:17 -0500 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-07 12:47:17 -0500 |
| commit | 0554b112c3a29404cdee62e5c461781fbb8b8c73 (patch) | |
| tree | e5ea8e86b2995b86402234323bb861c417b5f80d | |
| parent | Validation for abstract dynamic types (diff) | |
| download | VIATRA-Generator-0554b112c3a29404cdee62e5c461781fbb8b8c73.tar.gz VIATRA-Generator-0554b112c3a29404cdee62e5c461781fbb8b8c73.tar.zst VIATRA-Generator-0554b112c3a29404cdee62e5c461781fbb8b8c73.zip | |
removed unnecessary println
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend index 4b5f2946..e9af0638 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | |||
| @@ -136,7 +136,6 @@ class RefinementRuleProvider { | |||
| 136 | //val problem = match.get(0) as LogicProblem | 136 | //val problem = match.get(0) as LogicProblem |
| 137 | val interpretation = match.get(1) as PartialInterpretation | 137 | val interpretation = match.get(1) as PartialInterpretation |
| 138 | val typeInterpretation = match.get(2) as PartialTypeInterpratation | 138 | val typeInterpretation = match.get(2) as PartialTypeInterpratation |
| 139 | println("->"+typeInterpretation.interpretationOf.name) | ||
| 140 | 139 | ||
| 141 | val newElement = createDefinedElement | 140 | val newElement = createDefinedElement |
| 142 | if(nameNewElement) { | 141 | if(nameNewElement) { |