diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
| commit | 4fe7fce97aedbd516109ef81afc33e00112b7b68 (patch) | |
| tree | 7eaa7c4e9b31b2a1488e49de48721b4dbad31fae /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |
| parent | MoDeS3 unit propagation WIP (diff) | |
| download | VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.gz VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.zst VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.zip | |
Must unit propagation
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | 4 |
1 files changed, 2 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/PatternGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend index a3efcf76..edf92343 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |||
| @@ -369,13 +369,13 @@ class PatternGenerator { | |||
| 369 | ////////// | 369 | ////////// |
| 370 | // 4.3 Relation refinement | 370 | // 4.3 Relation refinement |
| 371 | ////////// | 371 | ////////// |
| 372 | «relationRefinementGenerator.generateRefineReference(problem)» | 372 | «relationRefinementGenerator.generateRefineReference(problem, unitPropagationPatternGenerators)» |
| 373 | 373 | ||
| 374 | ////////// | 374 | ////////// |
| 375 | // 5 Hints | 375 | // 5 Hints |
| 376 | ////////// | 376 | ////////// |
| 377 | «FOR hint : hints» | 377 | «FOR hint : hints» |
| 378 | «hint.getAdditionalPatterns(this)» | 378 | «hint.getAdditionalPatterns(this, fqn2PQuery)» |
| 379 | «ENDFOR» | 379 | «ENDFOR» |
| 380 | «FOR generator : unitPropagationPatternGenerators» | 380 | «FOR generator : unitPropagationPatternGenerators» |
| 381 | «generator.getAdditionalPatterns(this, fqn2PQuery)» | 381 | «generator.getAdditionalPatterns(this, fqn2PQuery)» |