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 | 6 |
1 files changed, 3 insertions, 3 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 7e53f944..db0e17b9 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 | |||
| @@ -90,7 +90,7 @@ class RefinementRuleProvider { | |||
| 90 | if(containmentRelation !== null) { | 90 | if(containmentRelation !== null) { |
| 91 | if(inverseRelation!== null) { | 91 | if(inverseRelation!== null) { |
| 92 | ruleBuilder.action[match | | 92 | ruleBuilder.action[match | |
| 93 | println(name) | 93 | //println(name) |
| 94 | val startTime = System.nanoTime | 94 | val startTime = System.nanoTime |
| 95 | //val problem = match.get(0) as LogicProblem | 95 | //val problem = match.get(0) as LogicProblem |
| 96 | val interpretation = match.get(1) as PartialInterpretation | 96 | val interpretation = match.get(1) as PartialInterpretation |
| @@ -115,7 +115,7 @@ class RefinementRuleProvider { | |||
| 115 | ] | 115 | ] |
| 116 | } else { | 116 | } else { |
| 117 | ruleBuilder.action[match | | 117 | ruleBuilder.action[match | |
| 118 | println(name) | 118 | //println(name) |
| 119 | val startTime = System.nanoTime | 119 | val startTime = System.nanoTime |
| 120 | //val problem = match.get(0) as LogicProblem | 120 | //val problem = match.get(0) as LogicProblem |
| 121 | val interpretation = match.get(1) as PartialInterpretation | 121 | val interpretation = match.get(1) as PartialInterpretation |
| @@ -139,7 +139,7 @@ class RefinementRuleProvider { | |||
| 139 | } | 139 | } |
| 140 | } else { | 140 | } else { |
| 141 | ruleBuilder.action[match | | 141 | ruleBuilder.action[match | |
| 142 | println(name) | 142 | //println(name) |
| 143 | val startTime = System.nanoTime | 143 | val startTime = System.nanoTime |
| 144 | //val problem = match.get(0) as LogicProblem | 144 | //val problem = match.get(0) as LogicProblem |
| 145 | val interpretation = match.get(1) as PartialInterpretation | 145 | val interpretation = match.get(1) as PartialInterpretation |