aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-22 04:27:36 +0100
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-22 04:27:36 +0100
commitbb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8 (patch)
treeceb0e2135361fbb7ad2a99f65c21cae17bc70ad5 /Solvers
parentimplement ignored attribute values as a config option (diff)
downloadVIATRA-Generator-bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8.tar.gz
VIATRA-Generator-bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8.tar.zst
VIATRA-Generator-bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8.zip
Issue where blocker is not between source and target
Diffstat (limited to 'Solvers')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend13
1 files changed, 6 insertions, 7 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
index f2f43aaa..f74c2ab4 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
@@ -207,13 +207,12 @@ class InstanceModel2PartialInterpretation {
207 } 207 }
208 } 208 }
209 // DEBUG 209 // DEBUG
210// println("DEBUG BEGINNING") 210 if (isIgnored) {
211// println(object) 211 println("IGNORED")
212// println(attribute) 212 println(object)
213// println(value) 213 println(attribute)
214// 214 println(object.eGet(attribute))
215// println("MAYIGNORE " + mayIgnored) 215 }
216// println("ISIGNORED " + isIgnored)
217 // END DEBUG 216 // END DEBUG
218 return isIgnored 217 return isIgnored
219 } 218 }