diff options
author | 2021-02-07 04:54:42 +0100 | |
---|---|---|
committer | 2021-02-07 04:54:42 +0100 | |
commit | 9f02e7e2fe8b3e347f3d05e8d0751dec016842cd (patch) | |
tree | 6d0c34c617ed51c9c9715f3ec18552425656b3a5 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit | |
parent | Remove dreal (diff) | |
download | VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.tar.gz VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.tar.zst VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.zip |
measurement setup is ready for server
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit')
1 files changed, 1 insertions, 0 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 1e2bbe6d..381823b3 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 | |||
@@ -195,6 +195,7 @@ class InstanceModel2PartialInterpretation { | |||
195 | EAttribute attribute, | 195 | EAttribute attribute, |
196 | Map<String, Map<String, String>> ignoredAttribs | 196 | Map<String, Map<String, String>> ignoredAttribs |
197 | ) { | 197 | ) { |
198 | if (ignoredAttribs === null || ignoredAttribs.isEmpty) return false; | ||
198 | val classInIgnored = ignoredAttribs.get(object.eClass.name) | 199 | val classInIgnored = ignoredAttribs.get(object.eClass.name) |
199 | val mayIgnored = ( | 200 | val mayIgnored = ( |
200 | classInIgnored !== null && classInIgnored.containsKey("*") | 201 | classInIgnored !== null && classInIgnored.containsKey("*") |