diff options
| -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 | } |