diff options
author | 2020-05-08 23:32:07 +0200 | |
---|---|---|
committer | 2020-05-08 23:32:07 +0200 | |
commit | 7aa34753b7bddeba0e0ba2ecbea9b5bec88b10a8 (patch) | |
tree | cb065859b4d41a2bc4e467015a62d040eb03d15d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |
parent | contained objects instantiated immediately if target class non-abstract (diff) | |
download | VIATRA-Generator-7aa34753b7bddeba0e0ba2ecbea9b5bec88b10a8.tar.gz VIATRA-Generator-7aa34753b7bddeba0e0ba2ecbea9b5bec88b10a8.tar.zst VIATRA-Generator-7aa34753b7bddeba0e0ba2ecbea9b5bec88b10a8.zip |
UP patterns -> decision procedure trace finished
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 | 8 |
1 files changed, 5 insertions, 3 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 56138ee8..d5ebe318 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 | |||
@@ -155,8 +155,8 @@ class PatternGenerator { | |||
155 | Map<String,PQuery> fqn2PQuery, | 155 | Map<String,PQuery> fqn2PQuery, |
156 | TypeAnalysisResult typeAnalysisResult | 156 | TypeAnalysisResult typeAnalysisResult |
157 | ) { | 157 | ) { |
158 | 158 | val first = | |
159 | return ''' | 159 | ''' |
160 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" | 160 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" |
161 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" | 161 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" |
162 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" | 162 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" |
@@ -395,7 +395,9 @@ class PatternGenerator { | |||
395 | ////////// | 395 | ////////// |
396 | // 5 Unit Propagations | 396 | // 5 Unit Propagations |
397 | ////////// | 397 | ////////// |
398 | «unitPropagationPreconditionGenerator.generateUnitPropagationRules(problem,problem.relations.filter(RelationDefinition),fqn2PQuery)» | ||
399 | ''' | 398 | ''' |
399 | val up = unitPropagationPreconditionGenerator.generateUnitPropagationRules(problem,problem.relations.filter(RelationDefinition),fqn2PQuery) | ||
400 | val second = up.definitions | ||
401 | return (first+second) -> up.constraint2PreconditionName | ||
400 | } | 402 | } |
401 | } | 403 | } |