diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-08 23:45:36 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-08 23:45:36 +0200 |
| commit | fec53c194ce5ef03651023d5091342eba7f67037 (patch) | |
| tree | cdb44f9533e783e965c7e6b0ffedcc34602493f7 | |
| parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
| download | VIATRA-Generator-fec53c194ce5ef03651023d5091342eba7f67037.tar.gz VIATRA-Generator-fec53c194ce5ef03651023d5091342eba7f67037.tar.zst VIATRA-Generator-fec53c194ce5ef03651023d5091342eba7f67037.zip | |
removed unnecesary logging
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend index 7cf52b41..6c68ec94 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/UnitPropagationPreconditionGenerator.xtend | |||
| @@ -93,8 +93,6 @@ class UnitPropagationPreconditionGenerator { | |||
| 93 | mainPropagationNames.put(referredCheck,new LinkedList) | 93 | mainPropagationNames.put(referredCheck,new LinkedList) |
| 94 | } | 94 | } |
| 95 | if(propagationPrecondition !== null) { | 95 | if(propagationPrecondition !== null) { |
| 96 | println(query.parameterNames) | ||
| 97 | println(query.parameterNames.size) | ||
| 98 | mainPropagationNames.get(referredCheck).add(propagationPrecondition->query.parameterNames.size) | 96 | mainPropagationNames.get(referredCheck).add(propagationPrecondition->query.parameterNames.size) |
| 99 | } | 97 | } |
| 100 | } | 98 | } |