diff options
author | 2020-04-30 20:15:24 +0200 | |
---|---|---|
committer | 2020-04-30 20:15:24 +0200 | |
commit | 363e62749b7415d67906ba8df46d6da8655b1869 (patch) | |
tree | 5a33fc88039c28b7ae6869e112b0fb1e2aa31bee /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |
parent | UP rule precondition provider (diff) | |
download | VIATRA-Generator-363e62749b7415d67906ba8df46d6da8655b1869.tar.gz VIATRA-Generator-363e62749b7415d67906ba8df46d6da8655b1869.tar.zst VIATRA-Generator-363e62749b7415d67906ba8df46d6da8655b1869.zip |
UnitPropagationProvider added to the generated patterns
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 | 6 |
1 files changed, 6 insertions, 0 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 379e334a..56138ee8 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 | |||
@@ -36,6 +36,7 @@ class PatternGenerator { | |||
36 | @Accessors(PUBLIC_GETTER) val UnfinishedIndexer unfinishedIndexer = new UnfinishedIndexer(this) | 36 | @Accessors(PUBLIC_GETTER) val UnfinishedIndexer unfinishedIndexer = new UnfinishedIndexer(this) |
37 | @Accessors(PUBLIC_GETTER) val TypeRefinementGenerator typeRefinementGenerator //= new RefinementGenerator(this) | 37 | @Accessors(PUBLIC_GETTER) val TypeRefinementGenerator typeRefinementGenerator //= new RefinementGenerator(this) |
38 | @Accessors(PUBLIC_GETTER) val RelationRefinementGenerator relationRefinementGenerator = new RelationRefinementGenerator(this) | 38 | @Accessors(PUBLIC_GETTER) val RelationRefinementGenerator relationRefinementGenerator = new RelationRefinementGenerator(this) |
39 | @Accessors(PUBLIC_GETTER) val UnitPropagationPreconditionGenerator unitPropagationPreconditionGenerator = new UnitPropagationPreconditionGenerator(this) | ||
39 | 40 | ||
40 | public new(TypeInferenceMethod typeInferenceMethod) { | 41 | public new(TypeInferenceMethod typeInferenceMethod) { |
41 | if(typeInferenceMethod == TypeInferenceMethod.Generic) { | 42 | if(typeInferenceMethod == TypeInferenceMethod.Generic) { |
@@ -390,6 +391,11 @@ class PatternGenerator { | |||
390 | // 4.3 Relation refinement | 391 | // 4.3 Relation refinement |
391 | ////////// | 392 | ////////// |
392 | «relationRefinementGenerator.generateRefineReference(problem)» | 393 | «relationRefinementGenerator.generateRefineReference(problem)» |
394 | |||
395 | ////////// | ||
396 | // 5 Unit Propagations | ||
397 | ////////// | ||
398 | «unitPropagationPreconditionGenerator.generateUnitPropagationRules(problem,problem.relations.filter(RelationDefinition),fqn2PQuery)» | ||
393 | ''' | 399 | ''' |
394 | } | 400 | } |
395 | } | 401 | } |