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 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src | |
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
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src')
-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 | } |