diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend index bf816de9..7891ebd8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | |||
| @@ -67,7 +67,8 @@ class RefinementRuleProvider { | |||
| 67 | if(containmentRelation != null) { | 67 | if(containmentRelation != null) { |
| 68 | if(inverseRelation!= null) { | 68 | if(inverseRelation!= null) { |
| 69 | ruleBuilder.action[match | | 69 | ruleBuilder.action[match | |
| 70 | //println(name) | 70 | statistics.incrementTransformationCount |
| 71 | // println(name) | ||
| 71 | val startTime = System.nanoTime | 72 | val startTime = System.nanoTime |
| 72 | //val problem = match.get(0) as LogicProblem | 73 | //val problem = match.get(0) as LogicProblem |
| 73 | val interpretation = match.get(1) as PartialInterpretation | 74 | val interpretation = match.get(1) as PartialInterpretation |
| @@ -107,7 +108,8 @@ class RefinementRuleProvider { | |||
| 107 | ] | 108 | ] |
| 108 | } else { | 109 | } else { |
| 109 | ruleBuilder.action[match | | 110 | ruleBuilder.action[match | |
| 110 | //println(name) | 111 | statistics.incrementTransformationCount |
| 112 | // println(name) | ||
| 111 | val startTime = System.nanoTime | 113 | val startTime = System.nanoTime |
| 112 | //val problem = match.get(0) as LogicProblem | 114 | //val problem = match.get(0) as LogicProblem |
| 113 | val interpretation = match.get(1) as PartialInterpretation | 115 | val interpretation = match.get(1) as PartialInterpretation |
| @@ -144,6 +146,9 @@ class RefinementRuleProvider { | |||
| 144 | } | 146 | } |
| 145 | } else { | 147 | } else { |
| 146 | ruleBuilder.action[match | | 148 | ruleBuilder.action[match | |
| 149 | statistics.incrementTransformationCount | ||
| 150 | // println(name) | ||
| 151 | |||
| 147 | val startTime = System.nanoTime | 152 | val startTime = System.nanoTime |
| 148 | //val problem = match.get(0) as LogicProblem | 153 | //val problem = match.get(0) as LogicProblem |
| 149 | val interpretation = match.get(1) as PartialInterpretation | 154 | val interpretation = match.get(1) as PartialInterpretation |
| @@ -198,8 +203,9 @@ class RefinementRuleProvider { | |||
| 198 | .precondition(lhs) | 203 | .precondition(lhs) |
| 199 | if (inverseRelation == null) { | 204 | if (inverseRelation == null) { |
| 200 | ruleBuilder.action [ match | | 205 | ruleBuilder.action [ match | |
| 206 | statistics.incrementTransformationCount | ||
| 201 | val startTime = System.nanoTime | 207 | val startTime = System.nanoTime |
| 202 | //println(name) | 208 | // println(name) |
| 203 | // val problem = match.get(0) as LogicProblem | 209 | // val problem = match.get(0) as LogicProblem |
| 204 | // val interpretation = match.get(1) as PartialInterpretation | 210 | // val interpretation = match.get(1) as PartialInterpretation |
| 205 | val relationInterpretation = match.get(2) as PartialRelationInterpretation | 211 | val relationInterpretation = match.get(2) as PartialRelationInterpretation |
| @@ -217,8 +223,9 @@ class RefinementRuleProvider { | |||
| 217 | ] | 223 | ] |
| 218 | } else { | 224 | } else { |
| 219 | ruleBuilder.action [ match | | 225 | ruleBuilder.action [ match | |
| 226 | statistics.incrementTransformationCount | ||
| 220 | val startTime = System.nanoTime | 227 | val startTime = System.nanoTime |
| 221 | //println(name) | 228 | // println(name) |
| 222 | // val problem = match.get(0) as LogicProblem | 229 | // val problem = match.get(0) as LogicProblem |
| 223 | // val interpretation = match.get(1) as PartialInterpretation | 230 | // val interpretation = match.get(1) as PartialInterpretation |
| 224 | val relationInterpretation = match.get(2) as PartialRelationInterpretation | 231 | val relationInterpretation = match.get(2) as PartialRelationInterpretation |